markd 33d96cc81c tex-microtype{,-doc}: update to 2.7a ... changes unknown		2018-05-12 01:11:05 +00:00
..
DESCR
distinfo	tex-microtype{,-doc}: update to 2.7a	2018-05-12 01:11:05 +00:00
Makefile	tex-microtype{,-doc}: update to 2.7a	2018-05-12 01:11:05 +00:00
PLIST