diff options
| author | John Estabrook <jestabro@vyos.io> | 2023-05-01 11:04:39 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2023-05-10 22:52:25 -0500 |
| commit | b6474d84fbe2134798049d6c5915b7382e7043aa (patch) | |
| tree | 6e02823fc8629b726943081ae1859c7772a9af80 /src/reference_tree.mli | |
| parent | 4156d4097304d56ade97f18f8e38723ce8f33ffe (diff) | |
| download | vyos1x-config-b6474d84fbe2134798049d6c5915b7382e7043aa.tar.gz vyos1x-config-b6474d84fbe2134798049d6c5915b7382e7043aa.zip | |
T5194: add priority element
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 eab9fe9..92f4582 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -14,6 +14,7 @@ type ref_node_data = { multi: bool; valueless: bool; owner: string option; + priority: string option; keep_order: bool; hidden: bool; secret: bool; |