QTfrontend/ui/widget/hatprompt.cpp
changeset 14058 bf8b7c166b3c
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
14057:bf14c7c1be02 14058:bf8b7c166b3c