diff options
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/.gitignore b/manual/.gitignore index 14f1d99..e07bc0d 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -4,4 +4,5 @@ _minted-manual *.log *.out *.pre -svg-inkscape
\ No newline at end of file +svg-inkscape +version
\ No newline at end of file |