diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 476d0bbf8e..aa35be45f5 100644 --- a/.gitignore +++ b/.gitignore | |||
| @@ -7,6 +7,7 @@ | |||
| 7 | *.so | 7 | *.so |
| 8 | *.o | 8 | *.o |
| 9 | *.a | 9 | *.a |
| 10 | *~ | ||
| 10 | __pycache__ | 11 | __pycache__ |
| 11 | 12 | ||
| 12 | # Intermediate language files | 13 | # Intermediate language files |