Uploaded image for project: 'Geronimo-Devtools'
  1. Geronimo-Devtools
  2. GERONIMODEVTOOLS-673

Don't download TPTP runtime since maven-eclipsepde-plugin 1.1 can handle optional bundle now

Bulk Copy AttachmentsBulk Move AttachmentsVotersWatch issueWatchersConvert to sub-taskLinkCloneUpdate Comment AuthorReplace String in CommentUpdate Comment VisibilityDelete Comments
    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major
    • Resolution: Fixed
    • 3.0
    • 2.2.1, 2.1.7, 3.0
    • eclipse-plugin
    • None

    Description

      From 2.1.6, building GEP will download TPTP runtime from eclipse site. In fact, it's not necessary now, since maven-eclipsepde-plugin 1.1 has been updated and we don't have to download optional bundle such as plugins in TPTP runtime.

      Attachments

        Activity
          This comment will be Viewable by All Users Viewable by All Users
          Cancel

          People

            delos Xuan Dai
            delos Xuan Dai
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Slack

                Issue deployment