Merge branch 'main' into coryab/edit-problem-1

2023-09-08 12:11:12 +02:00
parent 400e8a29df 271e3dd944
commit 4e633d13b5
3 changed files with 48 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -36,6 +36,9 @@
 *.log
 *.out
 *.bib
+*.synctex.gz
+*.bbl 

+# C++ specifics
 src/*
 !src/*.cpp