QTfrontend/ui/widget/hatprompt.cpp
changeset 13526 122e08d45caa
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
13525:873b7d32bc97 13526:122e08d45caa