QTfrontend/ui/widget/hatprompt.cpp
changeset 13208 fcffacc6ee8f
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
13207:d948d39e5da8 13208:fcffacc6ee8f