Commit 61873249 authored by lonca's avatar lonca
Browse files

ignoring AllTests

git-svn-id: svn+ssh:// ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 69498d4b
......@@ -164,6 +164,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment