petra: internal renaming to follow the GameType -> VictoryConditions change in simu
Description
Description
Details
Details
- Committed
mimo Apr 12 2018, 7:18 PM - Parents
- rP21705: petra: fix an error when an attacker was killed and moved outOfWorld
- Branches
- Unknown
- Tags
- Build Status
Buildable 5845 Build 9783: Post-Commit Build Jenkins