QTfrontend/ui/widget/itemNum.cpp
changeset 12447 7af69ebc0c9c
parent 10108 c68cf030eded
equal deleted inserted replaced
12446:fdaafc48dce4 12447:7af69ebc0c9c