Merge branch 'main' into litwiki

2023-09-11 20:44:30 -07:00 · 2023-09-11 20:44:30 -07:00 · 5895385d62
parent 27d974b08a 4e336fb6b2
commit 5895385d62
9 changed files with 1 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -2,7 +2,7 @@
 !.gitignore
 !.latexmkrc
 !.pre-commit-config.yaml
-/build
+build
 # Python
 *.pyc
--- a/diagrams/.latexmkrc
+++ b/diagrams/.latexmkrc
--- a/diagrams/01/01-a-wish.tex
+++ b/diagrams/01/01-a-wish.tex
--- a/diagrams/01/02-fantasma.tex
+++ b/diagrams/01/02-fantasma.tex
--- a/diagrams/magica-common.sty
+++ b/diagrams/magica-common.sty
--- a/diagrams/magica.sty
+++ b/diagrams/magica.sty
--- a/diagrams/map.tex
+++ b/diagrams/map.tex
--- a/diagrams/milsymb.sty
+++ b/diagrams/milsymb.sty
--- a/diagrams/reference.tex
+++ b/diagrams/reference.tex