Re: [PATCH] ignore a few more files

[Mark Wielaard]

Hi Mike,

Are any of these needed when doing a normal srcdir != builddir build?
Normally we don't add any builddir artifacts to .gitignore.

Thanks,

Mark