QTfrontend/util/DataManager.h
branchqmlfrontend
changeset 12856 95d903b976d0
parent 12295 ac57d564efce