diff options
author | Diego Roversi <diegor@tiscali.it> | 2019-09-15 15:36:05 +0200 |
---|---|---|
committer | Diego Roversi <diegor@tiscali.it> | 2019-09-15 15:36:05 +0200 |
commit | 76e9a932c6f942502b6b7fc7db4a949ed96d6d7a (patch) | |
tree | 3923f98d54f236e37940b26603abcade13597d29 /common/gamesrv.py | |
parent | 2d887c2c2bbe1492fee3e459e4bf17abe2163628 (diff) |
2to3, fix inconsistent indentation, convert float division in integer division
Diffstat (limited to 'common/gamesrv.py')
0 files changed, 0 insertions, 0 deletions