diff options
| author | John Estabrook <jestabro@vyos.io> | 2026-08-25 14:02:34 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2026-08-25 14:10:26 -0500 |
| commit | 51dcc060fb89aa8fbaf31d0f9431eb313efadd05 (patch) | |
| tree | 88c14926ed70bc99e5bf4fc0bdc1e0d4265213c8 /src/util_reference_tree.mli | |
| parent | a51aa7203aac2b9cdccfd5b7deed9121d9922717 (diff) | |
| download | vyos1x-config-51dcc060fb89aa8fbaf31d0f9431eb313efadd05.tar.gz vyos1x-config-51dcc060fb89aa8fbaf31d0f9431eb313efadd05.zip | |
T9231: add is_terminal check on node
More ergonomic when folding over tree.
Diffstat (limited to 'src/util_reference_tree.mli')
0 files changed, 0 insertions, 0 deletions