QTfrontend/ui/widget/hatprompt.cpp
changeset 15662 41121e2f5c03
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
15661:255422cd8a44 15662:41121e2f5c03