]> git.german-service-network.de Git - fping.git/commitdiff
projects / fping.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d6b67d8 4125a19)
Merge pull request #148 from wopfel/docu-stats-correction
authorDavid Schweikert <[email protected]>
Mon, 27 May 2019 19:19:59 +0000 (21:19 +0200)
committerGitHub <[email protected]>
Mon, 27 May 2019 19:19:59 +0000 (21:19 +0200)
Corrected long option name of -s to --stats


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.