QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 14664 def1b9870078
parent 11815 68bc5ebce319
equal deleted inserted replaced
14663:fb73852e6f4d 14664:def1b9870078