[
https://issues.apache.org/jira/browse/LABS-415?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Simone Gianni resolved LABS-415.
--------------------------------
Resolution: Fixed
done. Will be refined in LABS-419
> [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]
