Skip to content

Add devtools.7 man page

Jelle van der Waa requested to merge github/fork/jelly/devtools7 into master

Include an overview man page which describes in short all of the tools we provide in the devtools project. This to make the tools discoverable for users.

Merge request reports

Loading