Maximilian Keßler ef97ef2e78 glue 'name=' key for thmtools differently to not expand name if it contains macros		2022-01-23 17:21:33 +01:00
..
environments	glue 'name=' key for thmtools differently to not expand name if it contains macros	2022-01-23 17:21:33 +01:00
.gitignore	update gitignore	2022-01-23 01:30:57 +01:00