QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 13373 0a93948e8ec7
parent 11815 68bc5ebce319