GitBucket
Toggle navigation
Pull requests
Issues
Snippets
Sign in
Files
Branches
1
Releases
Issues
Pull requests
Labels
Priorities
Milestones
Wiki
Fork
: 0
johnpearcey
/
dub_jkp
Browse code
fix man page generator
Will make the CI on this work again in a separate PR
master
1 parent
bbd2f08
commit
6e2f3051a9b5c6a09763e9ea67347eaa3fc9945d
WebFreak001
authored
on 20 Jan 2023
Mathias LANG
committed
on 4 Feb 2023
Patch
Unified
Split
Showing
1 changed file
scripts/man/gen_man.d
Ignore Space
Show notes
View
scripts/man/gen_man.d
Show line notes below