QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 14725 b110cbe52e51
parent 12829 c75781937859
equal deleted inserted replaced
14724:abc6aaf481c4 14725:b110cbe52e51