diff options
Diffstat (limited to 'Build/source/texk/web2c/etexdir/etrip/etrip.typ')
-rw-r--r-- | Build/source/texk/web2c/etexdir/etrip/etrip.typ | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/etexdir/etrip/etrip.typ b/Build/source/texk/web2c/etexdir/etrip/etrip.typ index d65d7d9adc7..f2409268a7a 100644 --- a/Build/source/texk/web2c/etexdir/etrip/etrip.typ +++ b/Build/source/texk/web2c/etexdir/etrip/etrip.typ @@ -1,4 +1,4 @@ -This is DVItype, Version 3.6 (TeX Live 2012) +This is DVItype, Version 3.6 (TeX Live 2013) Options selected: Starting page = *.*.*.*.*.*.*.*.*.* Maximum number of pages = 1000000 @@ -6,7 +6,7 @@ Options selected: Resolution = 72.27000000 pixels per inch numerator/denominator=25400000/473628672 magnification=1000; 0.00001526 pixels per DVI unit -' TeX output 2012.05.11:1347' +' TeX output 2013.03.01:1322' 42: beginning of page 1.0.0.0.0.0.0.0.0.0 87: eop |