upstream/monitoring-plugins
1
0
Fork 0
mirror of https://github.com/monitoring-plugins/monitoring-plugins.git synced 2026-06-15 11:38:53 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
3488 commits 23 branches 41 tags 29 MiB
Commit graph

2 commits

Author SHA1 Message Date
Holger Weiss
5553c0be7c tools/update-thanks: Match case-insensitively 
When checking whether an author name already exists in the AUTHORS or
THANKS.in file, perform a case-insensitive match.
 2016-11-28 21:44:39 +01:00
Holger Weiss
0a236c7c70 Add tools/update-thanks script 
The tools/update-thanks script can be used to update the THANKS.in file.
 2014-12-15 22:35:02 +01:00