Commit ef957763d35ca0b147a352a79b673ceb899a3f2b

Bruno Haible 2009-08-15T10:24:18

Use .git/info/exclude, not .gitignore, for imported or generated files.