mirror of
https://git.proxmox.com/git/mirror_frr
synced 2025-06-03 04:27:46 +00:00
![]() Turns out we need one of these. Same API as DECLARE_LIST, but deleting random items is much faster. Signed-off-by: David Lamparter <equinox@diac24.net> |
||
---|---|---|
.. | ||
developer | ||
extra | ||
figures | ||
manpages | ||
mpls | ||
user | ||
.gitignore | ||
Makefile | ||
subdir.am |