]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #6909 from donaldsharp/weird_dump_commands
authorSri Mohana Singamsetty <srimohans@gmail.com>
Thu, 13 Aug 2020 03:42:34 +0000 (20:42 -0700)
committerGitHub <noreply@github.com>
Thu, 13 Aug 2020 03:42:34 +0000 (20:42 -0700)
tools: Remove zebra commands that have never existed


Trivial merge