Java Modeling Language (JML) / Feature Requests / #152 Automate plug-in build

#152 Automate plug-in build

Milestone: OpenJML

Status: open

Owner: David Cok

Labels: OpenJML (4)

Module: OpenJML

Priority: 5

Updated: 2013-10-27

Created: 2012-12-01

Creator: David Cok

Private: No

Automate the process of setting version number and building a new plug-in release. See the description in the wiki for all the manual steps one must do.

Discussion

David Cok - 2013-10-27

Group: --> OpenJML
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

David Cok - 2013-10-27

Module: --> OpenJML
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Automate plug-in build

Searches

Help

#152 Automate plug-in build

Discussion