53 Commits (5d018d23f01afe995c435d1d2951a0e7f5b5feb1)

Author	SHA1	Message	Date
Erik Johnston	882ac83d8d	Fix scripts-dev/convert_server_keys.py to have correct format	2015-05-19 13:12:55 +01:00
Mark Haines	3c224f4d0e	SYN-376: Add script for converting server keys from v1 to v2	2015-05-11 11:00:17 +01:00
Erik Johnston	673375fe2d	Acutally add scripts-dev/	2015-05-06 11:46:02 +01:00