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

Mapping ExternalNames to custom ports #3231

Merged
merged 5 commits into from
May 17, 2018
Merged

Mapping ExternalNames to custom ports #3231

merged 5 commits into from
May 17, 2018

Commits on May 17, 2018

  1. Configuration menu
    Copy the full SHA
    07d38b5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    15abcc1 View commit details
    Browse the repository at this point in the history
  3. Mapping ExternalNames to custom ports

    gildas authored and traefiker committed May 17, 2018
    Configuration menu
    Copy the full SHA
    1775494 View commit details
    Browse the repository at this point in the history
  4. review: go fmt.

    ldez authored and traefiker committed May 17, 2018
    Configuration menu
    Copy the full SHA
    1de86ae View commit details
    Browse the repository at this point in the history
  5. update port prefix

    dtomcej authored and traefiker committed May 17, 2018
    Configuration menu
    Copy the full SHA
    502b154 View commit details
    Browse the repository at this point in the history