diff --git a/.gitignore b/.gitignore index 3baf28865..88c3ed1f4 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,7 @@ .DS_Store __pycache__ +*.pyc /_build /_opam