Maximilian Keßler b514de5e09 better makefile		2022-01-20 12:07:35 +01:00
..
environments/groupthm	better makefile	2022-01-20 12:07:35 +01:00
.gitignore	start writing documentation	2022-01-17 12:13:09 +01:00