Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

devonfw/ide#1143 Add support for Tomcat #59

Open
wants to merge 9 commits into
base: master
Choose a base branch
from

Commits on Jun 5, 2023

  1. init tomcat mirror

    Leosssss committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    05e8378 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. tomcat versions-url-op

    Leosssss committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    373e9d7 View commit details
    Browse the repository at this point in the history
  2. correct tomcat urls

    Leosssss committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    48eaec4 View commit details
    Browse the repository at this point in the history
  3. delete os-mapping

    Leosssss committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    2240847 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Configuration menu
    Copy the full SHA
    d268e35 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. add new lines

    Leosssss committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    15e264f View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. remove tomcat 11 versions

    Leosssss committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    854f0e2 View commit details
    Browse the repository at this point in the history
  2. remove milestone versions

    Leosssss committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    46bef0a View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. remove ext-mapping

    Leosssss committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    8dbdb80 View commit details
    Browse the repository at this point in the history