update of initial hard content in BaTh

2018-05-14 17:08:12 +02:00
parent 5aa66ec7ea
commit 2a4d706a2e
4 changed files with 55 additions and 4 deletions
@@ -2,6 +2,7 @@
 *.aux
 *.log
 *.toc
+*.fls

 # PDF output - usually a bad idea to keep this in Git
 *.pdf