diff options
| author | Florian Jung <flo@windfisch.org> | 2015-08-12 17:50:20 +0200 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2015-08-12 17:50:20 +0200 |
| commit | 5d617ed918d9fe98a0155dea87dd402ec66fb84e (patch) | |
| tree | c28e7c0b3a1c9c015d5abbb475f1ac65e4aadf30 /gui.py | |
| parent | 64c25a29b00f3e7b1e0db10ee9a8c6783d0e1ed6 (diff) | |
fix old runaway corridor size (was twice as large as needed)
Diffstat (limited to 'gui.py')
0 files changed, 0 insertions, 0 deletions