add *.mem and *.cov to .gitignore

2026-09-20 10:08:31 +00:00 · 2017-08-14 20:41:16 +03:00
parent fa52f5f528
commit c422e14bad
1 changed files with 2 additions and 0 deletions
@@ -12,3 +12,5 @@ docs/site/
 *.tex
 *.export
 *.jld
+*.mem
+*.cov