QTfrontend/ui/widget/hatprompt.cpp
changeset 11711 bfbf6dc83176
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
11710:f74010cb6219 11711:bfbf6dc83176