]> git.german-service-network.de Git - fping.git/commitdiff
Merge pull request #240 from auerswal/doc-fixes
authorDavid Schweikert <[email protected]>
Sun, 30 Jan 2022 17:02:08 +0000 (18:02 +0100)
committerGitHub <[email protected]>
Sun, 30 Jan 2022 17:02:08 +0000 (18:02 +0100)
Documentation improvements


Trivial merge