| commit | 4059748b4789fbda5970261bb075657565a1f381 | [log] [tgz] |
|---|---|---|
| author | Dirk Ziegelmeier <dirk@ziegelmeier.net> | Mon Jan 02 19:50:46 2017 +0100 |
| committer | Dirk Ziegelmeier <dirk@ziegelmeier.net> | Mon Jan 02 19:50:46 2017 +0100 |
| tree | 58da1de99c56eae8eb8f1376a2395c974d12442d | |
| parent | 644a21b8a5188ab405491bd120dcb1beea50877b [diff] |
I was not satisfied with the previous debugging options structure. Improve it again.