From 2444de7d7a0c69b6918d3a1741d7f5f147b5b0bd Mon Sep 17 00:00:00 2001 From: Chris Knadler Date: Sat, 11 May 2013 14:19:47 -0700 Subject: [PATCH] Remove clar from .gitignore --- .gitignore | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.gitignore b/.gitignore index 4a869e7..a24e053 100644 --- a/.gitignore +++ b/.gitignore @@ -12,9 +12,3 @@ mt_parser.output # RComp generated files spec/rcomp/results - -# clar generated files -spec/clar/clar_test.dSYM -clar_test -.clarcache -clar.suite