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	Move data files to module	2017-09-16 12:07:31 +02:00
servers.json	Remove dead servers from servers list	2018-11-03 13:58:14 +01:00