Peter Eisentraut 5f84647ee1 Update .gitignore ...

Add entry for ab393528fa4b2486237ee7aa51fac67f82fee824.  Remove one
obsolete entry.

2022-09-14 21:56:01 +02:00

..

src

Update .gitignore

2022-09-14 21:56:01 +02:00

KNOWN_BUGS

…

Makefile

…

MISSING_FEATURES

…

TODO

…