]> WPIA git - gigi.git/commit
fix: domainPinger update
authorFelix Dörre <felix@dogcraft.de>
Sun, 15 Nov 2015 22:46:54 +0000 (23:46 +0100)
committerFelix Dörre <felix@dogcraft.de>
Sun, 15 Nov 2015 22:46:54 +0000 (23:46 +0100)
commitaad46870b1b7d7d4badf831b355669199c5ce830
tree1dbb8424f85b0ffe30e38a112e4cf7ae9ba6b231
parent33a87a70ba2320451c3b3b1faa9b487dbcbd3540
fix: domainPinger update
src/org/cacert/gigi/ping/DomainPinger.java