code cleanup, started report, new verbose option

This commit is contained in:
Phuntsok Drak-pa
2019-03-24 19:43:25 +01:00
parent 13e59c2dc4
commit eb1046603d
15 changed files with 2670 additions and 62 deletions

3
report/.gitignore vendored Normal file
View File

@@ -0,0 +1,3 @@
auto/
_minted*/
*.tex