add *.mem and *.cov to .gitignore

2026-08-06 04:21:33 +00:00 · 2017-08-14 20:41:16 +03:00
parent 5357ed88c8
commit 08055ecd21
1 changed files with 2 additions and 0 deletions
@@ -12,3 +12,5 @@ docs/site/
 *.tex
 *.export
 *.jld
 *.mem
 *.cov