add pdf

chenzhawyang · Nov 10, 2022 · 7cecb16 · 7cecb16
1 parent 4a967fa
commit 7cecb16
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +0,0 @@
-*.pdf
-
-bib/

diff --git a/doc/hispania.pdf b/doc/hispania.pdf