diff options
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 2531fe4cd..c2dceacf1 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,11 @@ home.html addon *~ +# patch attempts +*.orig +*.rej + + #ignore documentation, it should be newly built doc/api |