QTfrontend/misc.h
changeset 6000 dbcebcd3d79f
parent 4976 088d40d8aba2