Revision 5996f47d230949f1daf3857726bc89564914d91d

Committed on 17/07/2014 2:31 pm by gggeek <[email protected]> [GitHub Diff]

Make default configuration saner (fix one setting, make others easier to use)