diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-12 12:48:03 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-05-12 12:48:03 +0000 |
commit | c84165218f94bc15a1441e91a421f4d070bc5eb7 (patch) | |
tree | c7da1b0dbd328f10bc84cf0fdf4a73aa34a3df9f /Master/tlpkg/bin/htmltext | |
parent | 3cad3679b4e6c1f9c48b4b1393a80e97694b10d0 (diff) |
increase main_memory for etrip.test, required for syncTeX extensions
git-svn-id: svn://tug.org/texlive/trunk@13053 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/htmltext')
0 files changed, 0 insertions, 0 deletions