diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-14 08:24:29 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-14 08:24:29 +0200 |
| commit | e4b742cff3e8e5b70824cbe01e69ec4e6c2914f9 (patch) | |
| tree | c2559a1d37fc78e1cd39499675d6d02a01ad6638 /manual/.gitignore | |
| parent | 800b2098ae47743ce15d6f49512d4d017279be2c (diff) | |
Update manual
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore index e07bc0d..48853bd 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -4,5 +4,6 @@ _minted-manual *.log *.out *.pre +*.toc svg-inkscape version
\ No newline at end of file |