QTfrontend/ui/widget/MinesTimeSpinBox.cpp
changeset 13528 c8b626b0a3ad
parent 11815 68bc5ebce319
equal deleted inserted replaced
13527:e3ae9eea0689 13528:c8b626b0a3ad