QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 14725 b110cbe52e51
parent 12829 c75781937859