Commit 83b733ce85cc4bf980cebf4a4ea3c54b3761e788

Bruno Haible 2008-04-06T05:48:17

Remove files brought in by gnulib-tool.