]> git.gsnw.org Git - fping.git/commitdiff
Merge pull request #148 from wopfel/docu-stats-correction
authorDavid Schweikert <david@schweikert.ch>
Mon, 27 May 2019 19:19:59 +0000 (21:19 +0200)
committerGitHub <noreply@github.com>
Mon, 27 May 2019 19:19:59 +0000 (21:19 +0200)
Corrected long option name of -s to --stats


Trivial merge