Fix compilation with Codium

This commit is contained in:
Matteo Settenvini 2020-11-14 19:20:06 +01:00
parent d989762d5f
commit 84eea8e2f9
7 changed files with 74 additions and 5 deletions

1
.gitignore vendored
View file

@ -3,6 +3,7 @@
!/.gitignore
!/.gitlab-ci.yml
!/.latexmkrc
!/.vscode/settings.json
!*/
!*.tex