diff options
author | Daniil Baturin <daniil@baturin.org> | 2018-06-05 16:35:12 +0700 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2018-06-05 16:35:12 +0700 |
commit | 335560d2c0420a363942d3368dec0b04dd8bf62b (patch) | |
tree | d47f9944e4e5b2881707151c40d9fa5858849ce8 /src/util.ml | |
parent | 7f26d95164265b0ffd345afd510bf03ee98cd1d8 (diff) | |
download | vyconf-335560d2c0420a363942d3368dec0b04dd8bf62b.tar.gz vyconf-335560d2c0420a363942d3368dec0b04dd8bf62b.zip |
Add a function for getting sorted children from a node and use it for sorting set commands.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions