QTfrontend/ui/widget/hatprompt.cpp
changeset 15990 79b1129b4d03
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
15989:723be7e392e5 15990:79b1129b4d03