diff options
| author | Olivier Dugeon <olivier.dugeon@orange.com> | 2024-04-30 16:33:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-30 16:33:48 +0200 |
| commit | 8deba1e48d7269a46650572f4e8c75bfed6b51e8 (patch) | |
| tree | ede60a65409f36ebd76a54b554ffbfee3be7f216 /lib/clippy.h | |
| parent | 5a373ce912408794f4243a69078bf658b7113213 (diff) | |
| parent | 6fcf8f2a2e5fb4725f60faa0191785fec8b8d488 (diff) | |
Merge pull request #15791 from zhou-run/202404182042
isisd: When the ISIS instance does not exist, the default metric will not be wide.
Diffstat (limited to 'lib/clippy.h')
0 files changed, 0 insertions, 0 deletions
