Update manual

This commit is contained in:
Loic Guegan 2022-09-14 08:24:29 +02:00
parent 800b2098ae
commit e4b742cff3
3 changed files with 12 additions and 9 deletions

1
manual/.gitignore vendored
View file

@ -4,5 +4,6 @@ _minted-manual
*.log
*.out
*.pre
*.toc
svg-inkscape
version