HomeWildfire Games

Rename workshop to arsenal.

Description

Rename workshop to arsenal.

A workshop is a more generic place of doing work whilst an arsenal is a place where artillery is handled, which is the purpose of the structure in 0 A.D..

Patch by: @Nescio.
Differential Revision: D2756

Event Timeline

genava55 accepted this commit.Aug 6 2020, 1:00 AM
genava55 added a subscriber: genava55.

No objection.

All concerns with this commit have now been addressed.Aug 6 2020, 1:00 AM

Thanks for the approval @genava55 :)
Please note that on differentials, not on commits. Accepting a commit means there was a mistake (you raised a concern) in it and that has been fixed.

This commit no longer requires audit.Aug 6 2020, 7:07 AM