Undo last commit, as it does not solve the problem entirely.
authorBruno Haible <bruno@clisp.org>
Wed, 4 Jun 2008 20:10:07 +0000 (22:10 +0200)
committerBruno Haible <bruno@clisp.org>
Wed, 4 Jun 2008 20:10:07 +0000 (22:10 +0200)
commit6d03958a046c6783210c538dd9f656553434a804
tree62de6241f724d1cbc272ae2d20b49e94bc340a80
parentecc82c8ce5ebd5fd1b603159faf13a7b96bf5d93
Undo last commit, as it does not solve the problem entirely.
ChangeLog
gnulib-tool