QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 13851 d8e606cf8ff5
parent 11820 68bc5ebce319
equal deleted inserted replaced
13850:1a1fb597da8f 13851:d8e606cf8ff5