Philipp Hörist 5769ca1e29 Remove dead servers from servers list ... All removed servers did not answer to a IBR request		2018-10-28 21:45:04 +01:00
..
dh4096.pem	Move data files to module	2017-09-16 12:07:31 +02:00
servers.json	Remove dead servers from servers list	2018-10-28 21:45:04 +01:00