Author |
Committer |
Branch |
Timestamp |
Parent |
wmayer |
wmayer |
master |
2019-10-18 13:34:20 |
master a1de871e |
Changeset |
+ before creating element in DOM document check if the group node still has the correct name |
mod - src/Base/Parameter.cpp |
Diff
File
|
mod - src/Base/Parameter.h |
Diff
File
|