Reorganized repo

Now the source files only will be on the main branch, whereas the html and pdf files will be on the gh-pages branch.
2019-07-05 21:49:56 +02:00
parent ed1f6cd030
commit 271d5df2ce
79 changed files with 329 additions and 59583 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,8 @@
 *.tex
 *.bak
 *.log
+*.html
+*.pdf
 /*/_minted*
 /draconian-2/Vulgar_ Language generator.pdf
 /draconian-2/auto-generated*