QTfrontend/ui/widget/hatprompt.cpp
changeset 15001 1a05a1929e2c
parent 11490 fb7817a5c2b1
equal deleted inserted replaced
15000:d597a851f5d8 15001:1a05a1929e2c