]> git.puffer.fish Git - matthieu/frr.git/commitdiff
projects / matthieu / frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ba88ced 5c54512)
Merge pull request #8937 from idryzhov/index-once-again
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Tue, 29 Jun 2021 10:27:29 +0000 (07:27 -0300)
committerGitHub <noreply@github.com>
Tue, 29 Jun 2021 10:27:29 +0000 (07:27 -0300)
doc: remove unnecessary index directives

1  2 
doc/user/ospf6d.rst patch | diff1 | diff2 | blob | history

diff --cc doc/user/ospf6d.rst
Simple merge
Unnamed repository; edit this file 'description' to name the repository.