Maximilian Keßler 5a7525ffa4 faktor: change order of optional arguments to not bother with '[' charactor after faktor		2021-10-24 21:11:34 +02:00
..
exercises	faktor: change order of optional arguments to not bother with '[' charactor after faktor	2021-10-24 21:11:34 +02:00
proof	update gitignore	2021-10-07 18:18:43 +02:00
restate	update gitignore	2021-10-07 18:18:43 +02:00
Makefile	update gitignore	2021-10-07 18:18:43 +02:00