Merge branch 'dev' into dev2

This commit is contained in:
2023-10-04 11:02:56 +09:00
committed by GitHub

View File

@@ -117,7 +117,6 @@ Roles.new_role('Trainee','TrMod')
'command/search-recent', 'command/search-recent',
'command/search-online', 'command/search-online',
'command/personal-battery-recharge', 'command/personal-battery-recharge',
'command/waterfill',
'command/pollution-off', 'command/pollution-off',
'command/pollution-clear', 'command/pollution-clear',
'command/bot-queue-get', 'command/bot-queue-get',
@@ -140,8 +139,7 @@ Roles.new_role('Board Member','Board')
'command/repair', 'command/repair',
'command/spectate', 'command/spectate',
'command/follow', 'command/follow',
'command/personal-battery-recharge', 'command/personal-battery-recharge'
'command/waterfill'
} }
Roles.new_role('Senior Backer','Backer') Roles.new_role('Senior Backer','Backer')
@@ -231,7 +229,8 @@ Roles.new_role('Member','Mem')
'command/personal-logistic', 'command/personal-logistic',
'command/auto-research', 'command/auto-research',
'command/manual-train', 'command/manual-train',
'command/lawnmower' 'command/lawnmower',
'command/waterfill'
} }
local hours3, hours15 = 3*216000, 15*60 local hours3, hours15 = 3*216000, 15*60