historic_bruno 9cb5d48ccf Reverts mistaken default config changes. Please DO NOT use default.cfg for personal settings and check before committing modifications to that file. ...

This was SVN commit r12410.

2012-08-13 19:09:11 +00:00

..

config

Reverts mistaken default config changes. Please DO NOT use default.cfg for personal settings and check before committing modifications to that file.

2012-08-13 19:09:11 +00:00

mods

This was SVN commit r12409.

2012-08-13 18:00:15 +00:00

tests

…

tools

…