updated gitignore to ignore tex/

This commit is contained in:
Luca Lombardo
2023-02-09 12:52:11 +01:00
parent 30862cabb7
commit b0a8bbc0bd
+2
View File
@@ -149,4 +149,6 @@ backup/
sources/
extra/
html_graphs/
# ignore the tex folder
tex/