more blabla again

2020-11-20 04:06:44 +01:00
parent 3019e06bf5
commit d7b4250194
5 changed files with 131 additions and 11 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,6 @@ main.log
 main.pdf
 main.toc

+code/a.out
+code/foo
+