QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 15259 ebb86ed1b785
parent 11820 68bc5ebce319
equal deleted inserted replaced
15258:000d3262244c 15259:ebb86ed1b785