diff options
| author | Stijn Buys <ingar@telenet.be> | 2020-07-19 00:03:38 +0200 |
|---|---|---|
| committer | Stijn Buys <ingar@telenet.be> | 2020-07-19 00:03:38 +0200 |
| commit | ae9160a0716d0cdcc72a3741e70aae3925c74add (patch) | |
| tree | 4e9d2a1c81679a4932f3dfa167f2884237b1397b /src/core/player.cc | |
| parent | 6edb783d9abb91e569133d3516730493c3438e80 (diff) | |
Don't show the galaxy and zone map buttons simultaneously.
Diffstat (limited to 'src/core/player.cc')
0 files changed, 0 insertions, 0 deletions