markd 039132c1ee tex-texinfo: update to 5.1.51312 ... changes unknown		2019-08-05 11:09:53 +00:00
..
DESCR
distinfo	tex-texinfo: update to 5.1.51312	2019-08-05 11:09:53 +00:00
Makefile	tex-texinfo: update to 5.1.51312	2019-08-05 11:09:53 +00:00
PLIST