[PATCH] Add .gitignore

[Mark Wielaard]

Hi Tom,

On Sat, Feb 20, 2021 at 07:13:39PM -0700, Tom Tromey wrote:
> This adds a basic .gitignore.

I still think people shouldn't use srcdir == builddir.
But I guess it is what people do and we shouldn't annoy them.
So pushed.

Thanks,

Mark