diff options
| author | John Estabrook <jestabro@vyos.io> | 2022-02-23 14:32:02 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2022-04-21 12:08:03 -0500 |
| commit | 2d37aa4240447b0ee052fec637fd9a7cd5ec915b (patch) | |
| tree | 89ab7ce326551e0103d076e57f3ae6eef6152cdb /src/config_diff.ml | |
| parent | 572f5ca5e4d265e4f1e70bbad83972004aa000d7 (diff) | |
| download | vyos1x-config-2d37aa4240447b0ee052fec637fd9a7cd5ec915b.tar.gz vyos1x-config-2d37aa4240447b0ee052fec637fd9a7cd5ec915b.zip | |
T4235: add utility function get_subtree
(cherry picked from commit 23173c6b5d12e5b7990fafe2b43d40f5cbf1a2a5)
Diffstat (limited to 'src/config_diff.ml')
0 files changed, 0 insertions, 0 deletions