Commit f42a0e0eec53db169dd2c6d57406f4cc8d0f419d

Eric Blake 2006-09-19T14:07:28

* gnulib-tool: Avoid space-tab.