QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 14302 8d2983ff939b
parent 12824 c75781937859