QTfrontend/ui/widget/hatprompt.cpp
changeset 14550 db646b3c0b95
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
14549:6446ddf0c0ba 14550:db646b3c0b95