maint: update .gitignore for Gnulib

This commit is contained in:
Paul Eggert
2022-07-31 12:52:50 -07:00
parent 6d58f297cc
commit 657dbff05c
2 changed files with 2 additions and 0 deletions

View File

@@ -1,3 +1,4 @@
/scratch_buffer.gl.h
/scratch_buffer.h
/scratch_buffer_dupfree.c
/scratch_buffer_grow.c