diff options
| author | MaeJong <mewiceclair@gmail.com> | 2017-05-04 22:07:14 +0200 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-05-06 13:21:10 +0200 |
| commit | c6a50934a546ddd12cf4725f4f8ec30f7adeb839 (patch) | |
| tree | bd28804a54d75aea99e3caa906336fc5a65f192b /src/tools | |
| parent | a05e8cbd49a17dfc4023b71da559dcb1b11d8422 (diff) | |
Restart the map instead of reloading if current map == next map
Applies to both rotation and nextmap votes
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions