QTfrontend/ui/widget/hatprompt.cpp
changeset 15497 7621c6157558
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
15496:89c3b6db9605 15497:7621c6157558