petra: fix an undefined variable, and remove some unneeded array conversion
Description
Description
Details
Details
- Committed
mimo Mar 3 2017, 6:35 PM - Parents
- rP19268: Move ingame time and ceasefire timer code from gui/common/ to gui/session/.
- Branches
- Unknown
- Tags
- Build Status
Buildable 676 Build 1070: Post-Commit Build Jenkins