]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #8768 from idryzhov/doc-index
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Mon, 31 May 2021 19:54:41 +0000 (16:54 -0300)
committerGitHub <noreply@github.com>
Mon, 31 May 2021 19:54:41 +0000 (16:54 -0300)
doc: fix redundant index once again


Trivial merge