Maximilian Keßler d609b54aac fix bugs in thmtools option not being set properly		2022-01-17 00:20:14 +01:00
..
fancythm	update gitignore	2021-10-07 18:18:43 +02:00
groupthm	fix bugs in thmtools option not being set properly	2022-01-17 00:20:14 +01:00
Makefile	update gitignore	2021-10-07 18:18:43 +02:00