Nicolas B. Pierron a4e60ebacf Merge pull request #3811 from nbp/options-json ... Export the list of options to XML & JSON, such that external tools can use it.		2014-09-07 10:39:03 -07:00
..
manual	Merge pull request #3811 from nbp/options-json	2014-09-07 10:39:03 -07:00