]> git.german-service-network.de Git - fping.git/commitdiff
projects / fping.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 18df5bc f2e08d4)
Merge pull request #95 from jbackman/patch-1
authorDavid Schweikert <[email protected]>
Wed, 28 Sep 2016 18:59:38 +0000 (20:59 +0200)
committerGitHub <[email protected]>
Wed, 28 Sep 2016 18:59:38 +0000 (20:59 +0200)
Issue compliling on RHEL/Centos 7


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