tool-maven-plugin
Raoul Pierre <[email protected]> Wed, 05 Oct 2005 11:15:41 +0200
| Newsgroups | gmane.comp.java.keel.devel |
|---|---|
| Message-ID | <[email protected]> |
Mike, I just updated tool-maven and tool-maven-plugin. The time needed by a maven keel:maven increases a lot, i.e. for the same project.file, from 2 min 37 sec to 6 min 52 sec. Is it normal? Pierre http://keelframework.org/documentation.shtml Keelgroup mailing list [email protected] http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com