Revision b4ed334ede041705e6c133f1045afe7adb884165

Committed on 22/11/2013 6:08 am by Martin Eckhardt <[email protected]> [GitHub Diff]

Remove settings section. Allow extension settings to be overwritten.