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

Adapt map_blocks to use new Coordinates API #8560

Merged
merged 7 commits into from
Dec 20, 2023

Commits on Dec 18, 2023

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

    dcherian committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    768d7b2 View commit details
    Browse the repository at this point in the history
  3. typing fixes

    dcherian committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    b5f763d View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. optimize

    dcherian committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    85b4133 View commit details
    Browse the repository at this point in the history
  2. small cleanups

    dcherian committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    8b1e341 View commit details
    Browse the repository at this point in the history
  3. Typing fixes

    dcherian committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    8d0188b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    aee2449 View commit details
    Browse the repository at this point in the history