[CI skip] update .gitignore

ranocha · Mar 25, 2020 · 44e810d · 44e810d
1 parent 1656648
commit 44e810d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,6 @@
 *.jl.cov
 *.jl.*.cov
 *.jl.mem
+*.jl.*.mem
 notebooks/.ipynb_checkpoints/
 notebooks/*.gif