Commit fb798547d6d31e3c7ec94e2a7d70ea6cffd7edbf

Bruno Haible 2007-06-30T21:43:39

Scripts for CVS users.