diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b6f5f04bff6..5f1778376eb 100644 --- a/.gitignore +++ b/.gitignore @@ -17,6 +17,7 @@ *.elc *.epub *.exe +*.pdb *.fn *.html *.kdev4 |
