QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 15268 24828281c9c5
parent 12829 c75781937859