Merge branch 'dev' into dev2

This commit is contained in:
2023-12-22 13:37:33 +09:00
committed by GitHub
10 changed files with 370 additions and 24 deletions

View File

@@ -232,7 +232,11 @@ Roles.new_role('Member','Mem')
'command/auto-research',
'command/manual-train',
'command/lawnmower',
'command/waterfill'
'command/waterfill',
'command/artillery-target-remote',
'command/clear-item-on-ground',
'command/clear-blueprint',
'gui/surveillance'
}
local hours3, hours15 = 3*216000, 15*60