diff --git a/.gitignore b/.gitignore index c39cadbbbd6d5cd50d5c11bf308e4349c3c047d3..5be4dca8bedc31107dceab998a342c6124976220 100644 --- a/.gitignore +++ b/.gitignore @@ -13,7 +13,7 @@ dist .nfs* .gdb_history build -.coverage +.coverage* record.txt miniconda.sh miniconda/