diff options
| author | Jakob Unterwurzacher | 2015-12-01 21:04:58 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2015-12-01 21:04:58 +0100 |
| commit | 2734dc81e550ef730476e85236f64a2cf3ff0d08 (patch) | |
| tree | 2146343fc46a43ee821c7856c2d64d99b8f445f1 /Documentation/.gitignore | |
| parent | accf8144ca627ffc0a282259d28b8fe6e583eed6 (diff) | |
Make sure MANPAGE-render.bash works when called from outside Documentation
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions