projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef83f67) | patch
small fix for compat JNI library installation
authorMorgan Deters <mdeters@gmail.com>
Mon, 8 Oct 2012 19:31:01 +0000 (19:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 8 Oct 2012 19:31:01 +0000 (19:31 +0000)
commit2ad8e376c43eded3c9da313d372689514abe63e1
tree5067a281535b56b447365c1c4717ce8e5eec159ftree
parentef83f6744c1dcd1d5a90ea279cf77530d6de5b31commit | diff
small fix for compat JNI library installation
src/bindings/compat/java/Makefile.am diff | blob | history