Adding clone API in pycsolver ...
[satune.git] / .gitignore
index 480418d..64236e1 100644 (file)
@@ -1,6 +1,6 @@
 #Ignoring netbeans configs
 nbproject/
-sat_solver
+sat_solver*
 setup.sh
 
 #Ignoring binary files