QTfrontend/util/DataManager.h
changeset 15187 d2e477eee433
parent 12295 ac57d564efce
equal deleted inserted replaced
15186:a251d8757e8c 15187:d2e477eee433