Revision cd62d7a71e805d5f0d625d8eabc7a9d324b6fa36

Committed on 28/09/2016 10:08 am by Philipp Kamps <[email protected]> [GitHub Diff]

Remove all option enabled in the UI