QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 13075 53cbf7aea5f0
parent 11820 68bc5ebce319
equal deleted inserted replaced
13074:ba7ac61c7668 13075:53cbf7aea5f0