Pull requests: TUM-Dev/NavigaTUM
Pull requests list
[Coordinate-picker-rework 4] Addition of a new coordinate picker
frontend
Related to the frontend
#670
opened Jun 15, 2023 by
CommanderStorm
•
Draft
4 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.