diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 0dd0d45d4..0b52e71ff 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ # You can add personal rules in your file .git/info/exclude *.swp *~ +/contrib/extract_translations/extract_translations.beam /doc/*.aux /doc/*.haux /doc/*.html |