QTfrontend/ui/widget/hatprompt.cpp
changeset 11657 ae6706411b24
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
11656:227718170097 11657:ae6706411b24