fix dir name

LdBeth · Nov 8, 2020 · c094c08 · c094c08
1 parent e408418
commit c094c08
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/doc/latex/input/metaprl.tex → doc/latex/inputs/metaprl.tex b/doc/latex/input/metaprl.tex → doc/latex/inputs/metaprl.tex
diff --git a/doc/latex/input/rc.bib → doc/latex/inputs/rc.bib b/doc/latex/input/rc.bib → doc/latex/inputs/rc.bib
diff --git a/theories b/theories