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

add wrapper structs for ids, to reduce probability of confusion between different types of ids #6

Merged

felixguendling merged 7 commits into motis-project:master from nilspenzel:id_types_pull_request

May 24, 2024

Merged

add wrapper structs for ids, to reduce probability of confusion between different types of ids #6

rename Address to fix a warning