maint: update .gitignore

This commit is contained in:
Paul Eggert
2026-07-21 12:52:53 -07:00
parent 7024830c72
commit 3841fe9de4
16 changed files with 65 additions and 77 deletions
-1
View File
@@ -17,5 +17,4 @@
/quot.sed
/remove-potcdate.sed
/remove-potcdate.sin
/remove-potcdate.sin~
/stamp-po