Philipp Hörist d4986e22bf Remove dead servers from servers list ... All removed servers did not answer to a IBR request		2018-11-03 13:58:14 +01:00
..
dh4096.pem	…
servers.json	Remove dead servers from servers list	2018-11-03 13:58:14 +01:00