]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #5493 from ton31337/fix/doc_underline_too_short
authorQuentin Young <qlyoung@users.noreply.github.com>
Fri, 6 Dec 2019 06:54:49 +0000 (01:54 -0500)
committerGitHub <noreply@github.com>
Fri, 6 Dec 2019 06:54:49 +0000 (01:54 -0500)
doc: Add moaar dashes to underline line


Trivial merge