Merge branch 'jk/maint-add-p-empty' into maint

diff --git a/.gitignore b/.gitignore
index 51a37b1af7ab927b98e2764e755b130080bfc9e3..f0d2e96b888d0a457dbd61ecb6c347c4dbb07f8a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -168,6 +168,7 @@ git.spec
 *.exe
 *.[aos]
 *.py[co]
+*+
 config.mak
 autom4te.cache
 config.cache