Commit e0e0c246 authored by Daniel Le Berre's avatar Daniel Le Berre

fix for #154

parent 498baa77
......@@ -213,7 +213,7 @@ Sat4j is a full featured boolean reasoning library designed to bring state-of-th
<!-- <doclet>org.umlgraph.doclet.UmlGraphDoc</doclet> <docletArtifact>
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