Re: 1.2.9 keel:maven
Shash Chatterjee <[email protected]>
| Newsgroups | gmane.comp.java.keel.devel |
|---|---|
| Message-ID | <[email protected]> |
Mike, > > It's "plugin:install" from the Plugin project dir to install the plugin > from source, apparently. I didn't know doing the jar:install would > scramble it, but you're right, I just tried :-) > Great! At least we now know the signature of this particular problem :-) Shash http://keelframework.org/documentation.shtml Keelgroup mailing list [email protected] http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com