tree 8eab0a9590f028b4b811cfcf958d02cd6d22c61d
parent a3876314b72fa106d10769d5086a6458ffb97007
author Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483381976 +0100
committer Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483381976 +0100

Improve debugging options documentation