diff options
author | Daniil Baturin <daniil@baturin.org> | 2017-01-09 11:52:13 +0700 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2017-01-09 11:52:13 +0700 |
commit | 8377563a0d0d20f1e7f67b7cfcec4c27a02b7a3f (patch) | |
tree | 235b7f8a081b9430e9304a250fbae39b1bb4edb8 /src/session.mli | |
parent | b3afc59cfef4637dee41a595485559ff1e04193c (diff) | |
download | vyconf-8377563a0d0d20f1e7f67b7cfcec4c27a02b7a3f.tar.gz vyconf-8377563a0d0d20f1e7f67b7cfcec4c27a02b7a3f.zip |
T245: add Vytree.merge_children function for de-duplicating children
that share the same name by merging subsequent nodes into the first one.
Bad thing: the comments of the outer nodes will be lost, but then again
one should attach them to the inner node anyway, in non-pathological cases.
Diffstat (limited to 'src/session.mli')
0 files changed, 0 insertions, 0 deletions