Maximilian Keßler (via gitlab runner) dc50c1f3f9 remove default benchmarking in groupthm ... Build branch master (02c2acd) from kesslermaximilian/LatexPackages		2022-02-03 14:51:36 +00:00
..
fancythm	update fanycthm caching test	2022-02-03 14:45:59 +00:00
groupthm	remove default benchmarking in groupthm	2022-02-03 14:51:36 +00:00
refproof	update submodule	2022-01-30 23:49:04 +00:00
thmstyle	update submodule	2022-01-30 23:49:04 +00:00