QTfrontend/util/DataManager.h
branch0.9.24
changeset 13591 9f05872969dc
parent 12295 ac57d564efce