QTfrontend/ui/widget/hatprompt.cpp
changeset 11739 eee922f69d1b
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
11738:90ea2156b809 11739:eee922f69d1b