Philipp Hörist 2a0d6dc1ad Use json format for the servers list		2018-10-28 21:26:25 +01:00
..
dh4096.pem	Move data files to module	2017-09-16 12:07:31 +02:00
servers.json	Use json format for the servers list	2018-10-28 21:26:25 +01:00