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

areas.txt and stop_areas.txt cleanup: remove StopArea and use Area instead #317

Merged
merged 3 commits into from
Jan 3, 2025

Conversation

leonardehrenfried
Copy link
Collaborator

@leonardehrenfried leonardehrenfried commented Jan 3, 2025

This also removes the property wkt from Area.

@leonardehrenfried leonardehrenfried changed the title Stop area cleanup Stop area cleanup: remove StopArea and use Area instead Jan 3, 2025
@leonardehrenfried leonardehrenfried changed the title Stop area cleanup: remove StopArea and use Area instead areas.txt and stop_areas.txt cleanup: remove StopArea and use Area instead Jan 3, 2025
@leonardehrenfried leonardehrenfried merged commit e463ba1 into master Jan 3, 2025
9 checks passed
@leonardehrenfried leonardehrenfried deleted the stop-area-cleanup branch January 3, 2025 12:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant