Merge branch 'main' into 2022-02-03_group_meeting

This commit is contained in:
Eric Teunis de Boone 2022-01-31 18:51:56 +01:00
commit 5afd365ced

2
.gitignore vendored
View file

@ -7,6 +7,8 @@
*.toc *.toc
*.nav *.nav
*.snm *.snm
*.fdb_latexmk
*.fls
# also the outputs # also the outputs
*.dvi *.dvi
*.ps *.ps