diff --git a/.gitignore b/.gitignore index 42a81004..ee5ae647 100644 --- a/.gitignore +++ b/.gitignore @@ -116,3 +116,5 @@ examples/solver/simple_test tests/checkall *.trs CUnitAutomated-Results.xml + +*.pc