|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
I think a profile would be the way to go, but this would have quite arbitrarily mixed contents, basically only the "expensive but not strictly required plug-ins". For JavaDocs, we also could move that to a separate module as we e.g. do in HV (JavaDocs are built there only as part of the distribution module).