QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 14824 fba15e2f5e5b
parent 11820 68bc5ebce319
equal deleted inserted replaced
14823:b7c813dd807d 14824:fba15e2f5e5b