]> git.gsnw.org Git - fping.git/commitdiff
Merge pull request #79 from runderwo/deadcode
authorDavid Schweikert <david@schweikert.ch>
Mon, 25 May 2015 13:44:56 +0000 (15:44 +0200)
committerDavid Schweikert <david@schweikert.ch>
Mon, 25 May 2015 13:44:56 +0000 (15:44 +0200)
Remove apparently dead code.


Trivial merge