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

Move mutable globals into a central structure #7722

Closed
wants to merge 11 commits into from
Closed

Commits on Jul 31, 2023

  1. Move mutable globals into a central structure

    This is a stab at an alternative to #7717, per discussion there. It doesn't necessarily have all the mutable globals moved here, but at least the ones we discussed. Better? Worse? What do you think?
    steven-johnson committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    1208e22 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Configuration menu
    Copy the full SHA
    4101f50 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ff42c50 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    24494d9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    953d61c View commit details
    Browse the repository at this point in the history
  5. oops

    steven-johnson committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    f3453fe View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    2deb87e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    8a77017 View commit details
    Browse the repository at this point in the history
  8. un-format

    steven-johnson committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    f27316a View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

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

Commits on Aug 7, 2023

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