QTfrontend/util/DataManager.cpp
changeset 12119 cdadc1d487f1
parent 11046 47a8c19ecb60
child 12300 ac57d564efce
equal deleted inserted replaced
12118:72f5d670bbee 12119:cdadc1d487f1