QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 14447 448213112508
parent 12829 c75781937859
equal deleted inserted replaced
14446:23326691af27 14447:448213112508