diff options
author | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2023-06-28 14:08:13 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-28 14:08:13 (GMT) |
commit | b24eb7f46ac8667324efd818c01d68d5a1376c89 (patch) | |
tree | c3af63f6cd168c9dc54a3e3e301446734997da93 /gl/m4/idpriv.m4 | |
parent | 2275da632c2595cf3ec89d0fadbfacecaf89515d (diff) | |
parent | dee6b03307c599b0cf74bc7fa3714b1335156aed (diff) | |
download | monitoring-plugins-b24eb7f46ac8667324efd818c01d68d5a1376c89.tar.gz |
Merge pull request #1893 from waja/CI_yamllint
CI yamllint
Diffstat (limited to 'gl/m4/idpriv.m4')
0 files changed, 0 insertions, 0 deletions