hedgewars/Types.h
author koda
Sat, 13 Apr 2013 20:34:30 +0200
changeset 8908 d3033e3a4113
parent 7043 7c080e5ac8d0
permissions -rw-r--r--
let's try to kill the thread right away and protect the thread variable with a mutex