QTfrontend/util/DataManager.h
changeset 13286 1fbf2ac1f13e
parent 12295 ac57d564efce