mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-11 23:04:52 +09:00
This allows queries to map between the platform surfaces tracked in the statistics and the name assigned by the player
This allows queries to map between the platform surfaces tracked in the statistics and the name assigned by the player