Skip to content
Snippets Groups Projects
Commit 616299b7 authored by Ludovic Apvrille's avatar Ludovic Apvrille
Browse files

Update onlib config for rundse

parent a1126f3f
No related branches found
No related tags found
No related merge requests found
......@@ -18,6 +18,7 @@ dependencies {
compileOnly name: 'commons-io-2.5'
compileOnly name: 'jsoup-1.8.1'
compileOnly name: 'gs-core-2.0'
compileOnly name: 'gs-ui-swing-2.0'
compile name: 'batik-codec'
compile name: 'batik-constants'
......
Main-Class: RunDSE
Class-Path: com.microsoft.z3.jar json-java.jar
Class-Path: com.microsoft.z3.jar json-java.jar gs-core-2.0.jar gs-ui-swing--2.0.jar
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment