tree 58da1de99c56eae8eb8f1376a2395c974d12442d
parent 644a21b8a5188ab405491bd120dcb1beea50877b
author Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483383046 +0100
committer Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483383046 +0100

I was not satisfied with the previous debugging options structure. Improve it again.