ajout verbatims

This commit is contained in:
jeanjack 2023-11-01 15:58:17 +01:00
parent a159d49073
commit 6312096f5e
2 changed files with 103 additions and 27 deletions

1
.gitignore vendored
View file

@ -1,4 +1,5 @@
*.pdf
*.vrb
*.aux
*.log
*.nav