diff options
| author | Daniil Baturin <daniil@vyos.io> | 2023-04-26 19:05:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-26 19:05:59 +0100 |
| commit | ceed15b2b064b36c0f49d2142ebe0dafeaa34267 (patch) | |
| tree | d4bf03f707b697748efce2bee177909c3b085f03 /src/dune | |
| parent | 8955c0854f42ea2d8c9b71649b03d97f27c3f1d1 (diff) | |
| parent | 5af160e9c8f0156ccc61e2e789e0839354405337 (diff) | |
| download | vyos1x-config-ceed15b2b064b36c0f49d2142ebe0dafeaa34267.tar.gz vyos1x-config-ceed15b2b064b36c0f49d2142ebe0dafeaa34267.zip | |
Merge pull request #16 from jestabro/compare-bug
T5185: drop assumption in case of a sequence of 0's
Diffstat (limited to 'src/dune')
0 files changed, 0 insertions, 0 deletions