* gnulib-tool (SED): Remove, undoing previous change.
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 26 Dec 2006 01:51:36 +0000 (01:51 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 26 Dec 2006 01:51:36 +0000 (01:51 +0000)
commit168905c412a33e5922f56c230565fe9274ad07fa
tree40204adfba1b815749845d467f40be6b41700e17
parentb566a1cae5310716bad3151cee69f943915b2d31
* gnulib-tool (SED): Remove, undoing previous change.
The problem was that it broke coreutils on Solaris, because
"sed --posix" leaked into a makefile.
(sed): New alias, if 'alias' and GNU sed.
ChangeLog
gnulib-tool