Undo part of previous change, in case it makes command line too long
authorGlenn Morris <rgm@gnu.org>
Sat, 19 May 2012 18:47:39 +0000 (11:47 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 19 May 2012 18:47:39 +0000 (11:47 -0700)
commitafdc34774001166f25e998ba925301338001c3cc
tree7c813966abb669657cadb4da010f834b231f4776
parent3858bfe7c9f11d482715879fe40f06ce3dd6c009
Undo part of previous change, in case it makes command line too long
ChangeLog
Makefile.in