diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2018-04-24 09:53:15 +0200 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2018-04-24 13:42:52 +0200 |
| commit | da338b5f05fd0154b3d1aba9ae45b944bfe865f2 (patch) | |
| tree | 78a51e86b5b9ebcb3648209d987ae249b086e3e1 /src/tools | |
| parent | c17c9c0f4d000a6765653a1168453a830e403117 (diff) | |
Discard players' votes when they leave.
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions