QTfrontend/ui/widget/MinesTimeSpinBox.cpp
branch0.9.23
changeset 12894 ff54aca22bb5
parent 11815 68bc5ebce319
equal deleted inserted replaced
12893:9cb98c97fbcb 12894:ff54aca22bb5