Maximilian Keßler 1d5c14c688 remove redundant dependency		2022-01-30 21:51:50 +01:00
..
fancythm	remove redundant dependency	2022-01-30 21:51:50 +01:00
groupthm	proper .latexmkcr and makefile. remove aux files from repo	2022-01-30 13:50:05 +01:00
refproof	move package sources into own folders	2022-01-30 14:16:50 +01:00
thmstyle	move package sources into own folders	2022-01-30 14:16:50 +01:00