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/ui/button.cc | |
parent | 6edb783d9abb91e569133d3516730493c3438e80 (diff) |
Don't show the galaxy and zone map buttons simultaneously.
Diffstat (limited to 'src/ui/button.cc')
0 files changed, 0 insertions, 0 deletions