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

Make options more const #445

Merged
merged 8 commits into from
Jul 13, 2024
Merged

Make options more const #445

merged 8 commits into from
Jul 13, 2024

Commits on Jul 10, 2024

  1. all things const

    DmitriyMusatkin committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    6672f74 View commit details
    Browse the repository at this point in the history
  2. a bit less const

    DmitriyMusatkin committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    4d7c8c7 View commit details
    Browse the repository at this point in the history
  3. fix test

    DmitriyMusatkin committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    db15fc7 View commit details
    Browse the repository at this point in the history
  4. fix it correctly

    DmitriyMusatkin committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    105aafa View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    da36fdd View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Configuration menu
    Copy the full SHA
    34d467c View commit details
    Browse the repository at this point in the history
  2. bump builder

    DmitriyMusatkin committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    95d5431 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    86c4d9a View commit details
    Browse the repository at this point in the history