QTfrontend/ui/widget/MinesTimeSpinBox.cpp
branchqt5transition
changeset 13175 9f6f2e51d2ef
parent 11815 68bc5ebce319
equal deleted inserted replaced
13159:6f189da00c25 13175:9f6f2e51d2ef