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

Data #105

Merged
merged 6 commits into from
Aug 5, 2023
Merged

Data #105

merged 6 commits into from
Aug 5, 2023

Commits on Aug 4, 2023

  1. wip

    @jannisborn
    jannisborn committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    9ae84ca View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. wip

    @jannisborn
    jannisborn committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    3f05250 View commit details
    Browse the repository at this point in the history

  2. wip

    @jannisborn
    jannisborn committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    3668747 View commit details
    Browse the repository at this point in the history

  3. clean up private rollers

    @NinaWie
    NinaWie committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    840e1e5 View commit details
    Browse the repository at this point in the history

  4. retire newcastle machines and clean machines in childrens museum (ema… 

    …ils)
    @NinaWie
    NinaWie committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    ac81268 View commit details
    Browse the repository at this point in the history

  5. clean zeros in coordinates to avoid diff in new machine additions

    @NinaWie
    NinaWie committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    95fed2c View commit details
    Browse the repository at this point in the history