Commit 8dd5bc762c8793b6cbf1af03c79cec3ebbabd83d

Bruno Haible 2002-12-31T13:47:17

Tool for managing gnulib modules.