markd 2983125dcc tex-thmtools{,-doc}: update to 73 ... bugfix release		2022-09-01 05:31:15 +00:00
..
DESCR
distinfo	tex-thmtools{,-doc}: update to 73	2022-09-01 05:31:15 +00:00
Makefile	tex-thmtools{,-doc}: update to 73	2022-09-01 05:31:15 +00:00
PLIST