Planet names - replace generic planet identifiers PL 1 and PL 2 with meaningful planet names …#390

Merged

brickbots merged 1 commit intobrickbots:mainfrom

Git4me2day:main

Apr 17, 2026

Commits on Mar 3, 2026

replace generic planet identifiers (, ) with meaningful planet names in both the object list and the details/navigation screen
wahender
committed