QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 11839 4f44013e33d4
parent 11815 68bc5ebce319
equal deleted inserted replaced
11838:8f730ba4ca3c 11839:4f44013e33d4