summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2015-12-01 21:04:58 +0100
committerJakob Unterwurzacher2015-12-01 21:04:58 +0100
commit2734dc81e550ef730476e85236f64a2cf3ff0d08 (patch)
tree2146343fc46a43ee821c7856c2d64d99b8f445f1 /.gitignore
parentaccf8144ca627ffc0a282259d28b8fe6e583eed6 (diff)
Make sure MANPAGE-render.bash works when called from outside Documentation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions