QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 12848 8599a7d4df54
parent 11820 68bc5ebce319
equal deleted inserted replaced
12847:f72c6f64c94c 12848:8599a7d4df54