diff options
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9c34b5f29..f4efd8928 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,8 @@ # / *.bak +*.bc *.d +*.i *.o /benchmark/**/*.dat /benchmark/*.pdf @@ -8,6 +10,7 @@ *.orig *.pdb *.rej +*.s *.sav *.swp *.tmp |
