update 20180607 1400

2018-06-07 14:10:37 +02:00
parent eeba0459c5
commit bf9f159394
20 changed files with 247 additions and 74 deletions
@@ -6,6 +6,7 @@

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

 # Latexmk
 *.fdb_latexmk