Add few forgotten files

2019-12-11 15:07:13 +01:00
parent fb4119770b
commit ae94d53186
5 changed files with 458 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,8 @@
 auto/
 *.tex

+nohup.out
+
 **/figs/*.pdf
 **/figs/*.svg
 **/figs/*.tex