QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 14899 5a6da39c5f2a
parent 12829 c75781937859
equal deleted inserted replaced
14898:66b510a8b81c 14899:5a6da39c5f2a