]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dd40da) | patch
build: exclude a few more things from frr.xref
authorDavid Lamparter <equinox@opensourcerouting.org>
Wed, 26 Oct 2022 14:57:16 +0000 (15:57 +0100)
committerDavid Lamparter <equinox@opensourcerouting.org>
Wed, 26 Oct 2022 16:12:34 +0000 (17:12 +0100)
commit3727be24a032e0577d19ccf5ad995059f7cf6d68
tree958aea2e929748eb5f27945001bd19e7b7092d2ftree | snapshot
parent3dd40da369bf88fddaed84988f93fe243669faeacommit | diff
build: exclude a few more things from frr.xref

... this might need some better approach long-term.

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
python/makefile.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.