Freagarach bbeeaae768 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 This was SVN commit r23935.		2020-08-05 18:47:17 +00:00
..
data	Rename workshop to arsenal.	2020-08-05 18:47:17 +00:00
logs
system	Add an interface for Reinforcement Learning.	2020-08-01 10:52:59 +00:00