Commit dbb3c91f97905f9ef30ca8ea52d5cf2a862e7762

Bruno Haible 2010-02-19T11:54:07

Make it easier to find modules. New gnulib-tool option '--find'.