QTfrontend/ui/widget/MinesTimeSpinBox.h
branchios-develop
changeset 13413 ba39a1d396c0
parent 12824 c75781937859
equal deleted inserted replaced
13411:6e8b807bda4b 13413:ba39a1d396c0