markd c3d42e3b7e tex-texinfo: update to 5.1.50923 ... changes unknown		2019-05-12 11:57:10 +00:00
..
DESCR
distinfo	tex-texinfo: update to 5.1.50923	2019-05-12 11:57:10 +00:00
Makefile	tex-texinfo: update to 5.1.50923	2019-05-12 11:57:10 +00:00
PLIST