]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #7551 from mjstapp/fix_doc_no_index
authorQuentin Young <qlyoung@users.noreply.github.com>
Fri, 20 Nov 2020 17:15:31 +0000 (12:15 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Nov 2020 17:15:31 +0000 (12:15 -0500)
doc: don't index 'no' forms of commands

1  2 
doc/user/basic.rst
doc/user/ospf6d.rst

Simple merge
Simple merge