diff options
| author | John Estabrook <jestabro@vyos.io> | 2023-05-07 09:29:18 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2023-05-10 22:52:25 -0500 |
| commit | 35ce25553bd331f468b87a56b361c76e3eab8fff (patch) | |
| tree | 20b871bec10b431dd2c60e08e73a7b47ca64a4d1 /src/util.ml | |
| parent | a86fa26041fae96c6aec7c1a306e85793f4fb021 (diff) | |
| download | vyos1x-config-35ce25553bd331f468b87a56b361c76e3eab8fff.tar.gz vyos1x-config-35ce25553bd331f468b87a56b361c76e3eab8fff.zip | |
T5194: ignore syntaxVersion elements
syntaxVersion elements are post-processed in the Python reference dict
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions