Update user manual

This commit is contained in:
Loic Guegan 2022-09-12 10:45:38 +02:00
parent c3eb8db7a1
commit 99f195105a
5 changed files with 77 additions and 207 deletions

8
manual/.gitignore vendored
View file

@ -1,3 +1,7 @@
_minted-manual
*.tex
*.bbl
*.bbl
*.aux
*.log
*.out
*.pre
svg-inkscape