QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 15402 1028f5606b5f
parent 11815 68bc5ebce319
equal deleted inserted replaced
15401:bf49f26b1fa9 15402:1028f5606b5f