Add FOL assignment.

2022-03-04 16:48:42 +01:00
parent 81d54dc15f
commit d770941e72
7 changed files with 80 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -2,3 +2,5 @@ credentials.txt
 *.aux
 *.log
 *.out
+*.nav
+*.snm