diff --git a/.gitignore b/.gitignore index d39cc6374..374d8c68d 100644 --- a/.gitignore +++ b/.gitignore @@ -42,3 +42,5 @@ src/test-theme stamp-h1 tests/run-test.sh xmldocs.make +*~ +*.patch