mirror of
https://github.com/CHOMPstation/CHOMPstation.git
synced 2026-05-26 16:47:16 +01:00
02581042d7
Makes it possible for admins to properly rename AIs, either by right-clicking the relevant AI or by using the verb in the Admin panel.