Commit bb66a105 authored by leberre's avatar leberre

Changed version number in manifest file.

git-svn-id: svn+ssh:// ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 677c7014
......@@ -5,6 +5,6 @@ Specification-Title: SAT4J
Specification-Version: NA
Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 2.0
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Class-Path: org.sat4j.core.jar lib/jlfgr-1_0.jar
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment