Re: [PATCH] ignore a few more files

[Mark Wielaard]

Hi,

These look like build artifacts, you really should build with srcdir !=
builddir. Normally only things from the auto* tools that end up in the
srcdir are put in the .gitignore file.

Thanks,

Mark