diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-25 08:18:45 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-25 08:18:45 +0000 |
| commit | 964b40905c6daed1ac4612fde034264222f6bb67 (patch) | |
| tree | 741d0bb71fc81168fddb004468e95bbc67f5fc99 /src/bindings/compat/java/Cvc3_manifest | |
| parent | b79e8b369649f053ce3a39d3d178e4e2dbcf9993 (diff) | |
first crack at compatibility java interface (not built by default)
Diffstat (limited to 'src/bindings/compat/java/Cvc3_manifest')
| -rw-r--r-- | src/bindings/compat/java/Cvc3_manifest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bindings/compat/java/Cvc3_manifest b/src/bindings/compat/java/Cvc3_manifest new file mode 100644 index 000000000..904ce0374 --- /dev/null +++ b/src/bindings/compat/java/Cvc3_manifest @@ -0,0 +1,2 @@ +Main-Class: cvc3/Cvc3 +Class-Path: libcvc3.jar |