Commit d8dc3adc6142a2cfb282c16cc012c1bb73b3f2b7

Bruno Haible 2005-09-19T15:47:38

Documentation of gnulib-tool.