hedgewars/Types.h
author Medo <smaxein@googlemail.com>
Mon, 20 Aug 2012 17:08:52 +0200
changeset 7578 d5c880e6d772
parent 7043 7c080e5ac8d0
permissions -rw-r--r--
engine: Don't overwrite isTerminated if it's already true
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines: