QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 14317 15f40350ede9
parent 11815 68bc5ebce319
equal deleted inserted replaced
14316:33622b38084f 14317:15f40350ede9