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

minor unification of two conditionals #1577

Merged
merged 7 commits into from
Feb 16, 2024
Merged

minor unification of two conditionals #1577

merged 7 commits into from
Feb 16, 2024

Commits on Feb 16, 2024

  1. fix

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    0f52e0d View commit details
    Browse the repository at this point in the history

  2. placeholder commit

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    7c9ae9e View commit details
    Browse the repository at this point in the history

  3. placeholder commit

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    bca0ced View commit details
    Browse the repository at this point in the history

  4. fix meta-annotation

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    5c79740 View commit details
    Browse the repository at this point in the history

  5. checkstyle

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    123a4e7 View commit details
    Browse the repository at this point in the history

  6. piggy back fix on existing PR

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    758c0a2 View commit details
    Browse the repository at this point in the history

  7. checkstyle

    @wind57
    wind57 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    4475dbd View commit details
    Browse the repository at this point in the history