QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 13793 381e37c6d5d9
parent 11820 68bc5ebce319
equal deleted inserted replaced
13792:3f30980bf5b2 13793:381e37c6d5d9