tree 46c44713287136f75feb6c6e424e028859384354
parent e3c2b8a33901c74c26c4d5d6c70733b7e48986b7
author Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483381523 +0100
committer Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483381523 +0100

Add debugging options to documentation