maint: update .gitignore
commit80a6c7faa2d9cd6f00d512e58fcbbc63f5bcb520
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 1 Jul 2023 18:31:41 +0000 (1 11:31 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 1 Jul 2023 18:51:17 +0000 (1 11:51 -0700)
tree56394bfcfff5fe57c2d722be2134f63172313bbb
parent57ffc403234f6981088e9c45c443aa6aeb361a2a
maint: update .gitignore

Add some newly-created Gnulib files,
plus some bootstrap temporaries.
.gitignore