]> WPIA git - gigi.git/commit
Remove mains from "Domain pingers"
authorFelix Dörre <felix@dogcraft.de>
Wed, 9 Jul 2014 14:59:36 +0000 (16:59 +0200)
committerFelix Dörre <felix@dogcraft.de>
Thu, 10 Jul 2014 22:35:13 +0000 (00:35 +0200)
commit4c54063974601a0cfcf0f55d72b574e65906fcf4
tree250881ea2306731f181aace11be0f370f5c02ef5
parent85c2c5b794a1e331f1f5655698b9d6f5606e0e69
Remove mains from "Domain pingers"
src/org/cacert/gigi/ping/DNSPinger.java
src/org/cacert/gigi/ping/SSLPinger.java