Eelco Dolstra 44d14e2264 options.json: Export as an object rather than a list ... This makes it easier to look up options by name.		2014-11-17 15:17:39 +01:00
..
manual	options.json: Export as an object rather than a list	2014-11-17 15:17:39 +01:00