QTfrontend/util/DataManager.h
branchqmlfrontend
changeset 12860 e33bcb9d5e9c
parent 12295 ac57d564efce