QTfrontend/ui/widget/hatprompt.cpp
changeset 13981 8e479dabdd88
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
13980:3183c4dc6e53 13981:8e479dabdd88