add a link to main.pdf to the root of the repo

2024-07-19 14:46:42 +02:00 · 2024-07-19 14:46:42 +02:00 · 70855d1642
parent f2333f04bd
commit 70855d1642
2 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1 +1,2 @@
 **.pdf
+!main.pdf
--- a/main.pdf
+++ b/main.pdf