QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 13308 49bedbc76120
parent 11815 68bc5ebce319
equal deleted inserted replaced
13307:1b409f2add34 13308:49bedbc76120