mimo 43f358563c when saving an option to file, write only that value and not all the content of the user configDB, refs #3737 ... This was SVN commit r17738.		2016-02-07 11:31:23 +00:00
..
data	when saving an option to file, write only that value and not all the content of the user configDB, refs #3737	2016-02-07 11:31:23 +00:00
logs	Updates logs readme with link to Trac, to replace confusing outdated info	2012-08-02 19:41:50 +00:00
system	Add version command line option. Fixes #2965.	2016-01-08 19:35:33 +00:00