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.

Sign up for GitHub

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

Jump to bottom

Add some javadoc / website doc to known maven properties #1597

Closed
wants to merge 12 commits into from
Closed

Add some javadoc / website doc to known maven properties #1597

wants to merge 12 commits into from

Commits on Jul 5, 2024

  1. [MNG-7914] Provide a single entry point for configuration

    @gnodet
    gnodet committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    f658846 View commit details
    Browse the repository at this point in the history

  2. Refactor constants and generate doc for those

    @gnodet
    gnodet committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    efb32c2 View commit details
    Browse the repository at this point in the history

  3. Revert change

    @gnodet
    gnodet committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    044270b View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Rename global -> system in the API

    @gnodet
    gnodet committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    f15f0dd View commit details
    Browse the repository at this point in the history

  2. Add since tags

    @gnodet
    gnodet committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    4163750 View commit details
    Browse the repository at this point in the history

  3. Also support maven.conf system property not being set

    @gnodet
    gnodet committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    d156c54 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Keep the 3 levels with individual properties, fixes after review, ren… 

    …ame system->install
    @gnodet
    gnodet committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    d74513d View commit details
    Browse the repository at this point in the history

  2. Rename install->installation

    @gnodet
    gnodet committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    6fcdd82 View commit details
    Browse the repository at this point in the history

  3. Fixes

    @gnodet
    gnodet committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    268009b View commit details
    Browse the repository at this point in the history

  4. Fix xml

    @gnodet
    gnodet committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    e1ee17a View commit details
    Browse the repository at this point in the history

  5. Fix xml

    @gnodet
    gnodet committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    f2d7922 View commit details
    Browse the repository at this point in the history

  6. Improvements

    @gnodet
    gnodet committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    f9c5514 View commit details
    Browse the repository at this point in the history