diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-02 00:11:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-02 00:11:46 +0000 |
commit | d2ecce6824dc5115d4d2f6390deb4a7a70937aa5 (patch) | |
tree | c01daf99438454c77a415c099e5eb0a2b10520af /Build/source/texk/web2c/ChangeLog | |
parent | ec32bec8c104dd9cee02a0f467e1fd8fb4220f39 (diff) |
do not try to make the dumps by default
git-svn-id: svn://tug.org/texlive/trunk@6798 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index dc1119621ad..86cada148fd 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -4,6 +4,8 @@ Alexis Ballier, 29 Feb 2008 19:27:23, via https://bugs.gentoo.org/show_bug.cgi?id=201187. + (default all): remove dumps, it's just troublemaking these days? + 2008-02-29 Peter Breitenlohner <peb@mppmu.mpg.de> * configure.in: replace PACKAGE_... by WEB2C_PACKAGE_... in |