Commit 9a9517da authored by leberre's avatar leberre
parent 667df7cc
......@@ -3,8 +3,8 @@ Bundle-ManifestVersion: 2
Bundle-Name: %bundleName
Bundle-SymbolicName: org.sat4j.maxsat
Bundle-Version: 9.9.9.token
Export-Package: org.sat4j.maxsat,
org.sat4j.maxsat.reader
Export-Package: org.sat4j.maxsat;version="9.9.9.token",
org.sat4j.maxsat.reader;version="9.9.9.token"
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Require-Bundle: org.sat4j.core,
......
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