diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2018-08-20 23:37:48 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2018-08-20 23:37:48 +0200 |
| commit | 974a5a213bd780f5021c3e3d40ffad05e3c0a23e (patch) | |
| tree | 2dc24a08f1305148cfb0d9433c89fbecf9599199 /Makefile | |
| parent | f62f1505da4cd68246ce40ad3cbccd81df1189df (diff) | |
Kill referee on player timeout
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions