diff options
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/manual/.gitignore b/manual/.gitignore index 056aa14..14f1d99 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -1,3 +1,7 @@ _minted-manual -*.tex -*.bbl
\ No newline at end of file +*.bbl +*.aux +*.log +*.out +*.pre +svg-inkscape
\ No newline at end of file |
