Typography fixes and production version

VojtechStep · Jul 18, 2024 · 1c137f3 · 1c137f3
1 parent 4c3d5d4
commit 1c137f3
Show file tree

Hide file tree

Showing 2 changed files with 117 additions and 104 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,3 +16,4 @@
 *.run.xml
 *.toc
 /result
+/submission/
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,3 +16,4 @@ @@
     *.run.xml
     *.toc
     /result
+    /submission/