QTfrontend/ui/widget/hatprompt.cpp
changeset 13996 350adfa0e896
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
13995:4d0c80f7aa32 13996:350adfa0e896