QTfrontend/util/DataManager.h
changeset 13041 e0d5b63f4e37
parent 12295 ac57d564efce
equal deleted inserted replaced
13040:a87d3119c962 13041:e0d5b63f4e37