QTfrontend/util/DataManager.h
changeset 15223 9b8010f0d12f
parent 12295 ac57d564efce
equal deleted inserted replaced
15222:fb2da6145595 15223:9b8010f0d12f