Update manual

This commit is contained in:
Loic Guegan 2022-09-12 11:28:20 +02:00
parent 99f195105a
commit c75fbe854d
4 changed files with 16 additions and 7 deletions

3
manual/.gitignore vendored
View file

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