修改道岔名称

This commit is contained in:
weizhihong 2023-07-03 16:28:54 +08:00
parent 549aa2ec10
commit 8fd000d459

View File

@ -26,7 +26,7 @@ message Section {
} }
// //
message Switch { message Turnout {
string id = 1; string id = 1;