markd 2359b0e011 web2c: fix previous patch to return correct pagebox values. ... was always returning mediabox		2019-02-28 19:34:49 +00:00
..
patches	web2c: fix previous patch to return correct pagebox values.	2019-02-28 19:34:49 +00:00
DESCR
distinfo	web2c: fix previous patch to return correct pagebox values.	2019-02-28 19:34:49 +00:00
Makefile	web2c: fix previous patch to return correct pagebox values.	2019-02-28 19:34:49 +00:00
PLIST	Updated to TexLive 2016:	2016-06-16 04:05:58 +00:00