QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 15182 d20e52a646e7
parent 11815 68bc5ebce319
equal deleted inserted replaced
15181:4c13bc464c61 15182:d20e52a646e7