]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #8686 from idryzhov/fix-doc-index 8.1-dev
authorMark Stapp <mjs@voltanet.io>
Tue, 18 May 2021 19:33:48 +0000 (15:33 -0400)
committerGitHub <noreply@github.com>
Tue, 18 May 2021 19:33:48 +0000 (15:33 -0400)
doc: remove redundant index directives


Trivial merge