diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-26 22:03:06 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-26 22:03:06 +0600 |
| commit | 88652c2a4675afe9b83b3e9a175e2c39302de040 (patch) | |
| tree | 488c83ff20513ac88049617885e7bd7f657cede0 /src/reference_tree.mli | |
| parent | de448723e5a9443f5df7f367e70990c58a9a04e3 (diff) | |
| download | vyconf-88652c2a4675afe9b83b3e9a175e2c39302de040.tar.gz vyconf-88652c2a4675afe9b83b3e9a175e2c39302de040.zip | |
Add an option to keep child order, will be used for rendering.
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index 701adf0..5171203 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -7,6 +7,7 @@ type ref_node_data = { multi: bool; valueless: bool; owner: string option; + keep_order: bool; } exception Validation_error of string |