markd 0172ec0323 tex-animate{,-doc}: update to 20230515 ... changes unknown		2023-06-11 05:11:05 +00:00
..
DESCR
distinfo	tex-animate{,-doc}: update to 20230515	2023-06-11 05:11:05 +00:00
Makefile	tex-animate{,-doc}: update to 20230515	2023-06-11 05:11:05 +00:00
PLIST