projects / gigi.git / commit
| author | Lucas Werkmeister <mail@lucaswerkmeister.de> | |
| Thu, 25 Aug 2016 08:41:54 +0000 (10:41 +0200) | ||
| committer | Lucas Werkmeister <mail@lucaswerkmeister.de> | |
| Thu, 25 Aug 2016 08:41:54 +0000 (10:41 +0200) | ||
| commit | d309ba7485e0c84a33a806ffdcbc14ce36662703 | |
| tree | 8d73967fab2c0e755d83d07c1176bc6340d3001e | tree | snapshot |
| parent | a39d4f72c5da6c1066ff8529f65af9f908c86c93 | commit | diff |
| src/org/cacert/gigi/ping/HTTPFetch.java | diff | blob | history |