QTfrontend/ui/widget/MinesTimeSpinBox.h
changeset 12426 a0c655e38cc8
parent 11820 68bc5ebce319
child 12829 c75781937859