QTfrontend/ui/widget/hatprompt.cpp
changeset 14883 f40bfa7fac9c
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
14882:acb0526bf458 14883:f40bfa7fac9c