QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 15514 6ddfde71ba6a
parent 11820 68bc5ebce319
equal deleted inserted replaced
15513:dfdd0db89760 15514:6ddfde71ba6a