[eclipse] Make the "run clean install" button a dro down one, from which to
choose also other magma goals like running tests and debugging tests.
-------------------------------------------------------------------------------------------------------------------------------------------------
Key: LABS-415
URL: https://issues.apache.org/jira/browse/LABS-415
Project: Labs
Issue Type: Improvement
Components: Magma
Affects Versions: Current
Reporter: Simone Gianni
Fix For: Current
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
