Fixed headers for org files

This commit is contained in:
2019-12-12 16:06:46 +01:00
parent c84aace663
commit 1a8f1bc8cf
26 changed files with 32 additions and 46 deletions

1
.gitignore vendored
View File

@@ -11,7 +11,6 @@
*.tex
*.toc
_minted*
/draconian-2/Vulgar_ Language generator.pdf
auto-generated*
# Files and directories created by pub