Philipp Hörist 7e3d3f95bf Use json format for the servers list		2018-11-03 13:57:50 +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-11-03 13:57:50 +01:00