QTfrontend/util/DataManager.h
branch0.9.25
changeset 14366 2ab312c47dc3
parent 12295 ac57d564efce