diff --git a/.gitignore b/.gitignore index 231806c14..507595694 100644 --- a/.gitignore +++ b/.gitignore @@ -1,16 +1,16 @@ /*.o /*.bdw /*.semi -/*.whippet -/*.generational-whippet -/*.parallel-whippet -/*.parallel-generational-whippet -/*.stack-conservative-whippet -/*.stack-conservative-generational-whippet -/*.stack-conservative-parallel-whippet -/*.stack-conservative-parallel-generational-whippet -/*.heap-conservative-whippet -/*.heap-conservative-generational-whippet -/*.heap-conservative-parallel-whippet -/*.heap-conservative-parallel-generational-whippet +/*.mmc +/*.generational-mmc +/*.parallel-mmc +/*.parallel-generational-mmc +/*.stack-conservative-mmc +/*.stack-conservative-generational-mmc +/*.stack-conservative-parallel-mmc +/*.stack-conservative-parallel-generational-mmc +/*.heap-conservative-mmc +/*.heap-conservative-generational-mmc +/*.heap-conservative-parallel-mmc +/*.heap-conservative-parallel-generational-mmc /.deps/