diff options
| -rw-r--r-- | configmgr/source/modifications.hxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configmgr/source/modifications.hxx b/configmgr/source/modifications.hxx index 04ad5c34d72e..098992d08fd5 100644 --- a/configmgr/source/modifications.hxx +++ b/configmgr/source/modifications.hxx @@ -45,6 +45,8 @@ public: void remove(Path const & path); + void clear() { root_.children.clear(); } + bool empty() const { return root_.children.empty(); } Node const & getRoot() const { return root_;} |