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/defaults.ml | |
| 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/defaults.ml')
0 files changed, 0 insertions, 0 deletions