diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2022-05-24 16:18:11 +0300 |
|---|---|---|
| committer | Donatas Abraitis <donatas@opensourcerouting.org> | 2022-05-24 16:18:11 +0300 |
| commit | 0285264253c430f475c0952d3764f701cbb6e4a1 (patch) | |
| tree | 808f5cec7d6ca5f6c57bb9414adce252197df6e7 /python/makefile.py | |
| parent | 403f312d5657d2d62775dc57c0a73bfb85118ea6 (diff) | |
bgpd: Drop redundand output under `show rpki prefix-table`
This is already handled by a separate command `show rpki cache-server`.
Probably just copy/paste error.
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
Diffstat (limited to 'python/makefile.py')
0 files changed, 0 insertions, 0 deletions