diff --git a/.gitignore b/.gitignore index 5e0e9a41..406c3dbf 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,5 @@ doc/index.html papers/ snapshots/ perf.* +.mypy_cache +*.gz