src/gui.cpp

changeset 520
37d5da2f188e
parent 515
a0ad72800b96
child 522
afa691788bdb
equal deleted inserted replaced
519:63135a8abd41 520:37d5da2f188e

mercurial