QTfrontend/misc.h
changeset 5555 38e3d9347910
parent 4976 088d40d8aba2