]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2241 from brotherdust/docdev-ubuntu-1804-build-guide
authorQuentin Young <qlyoung@users.noreply.github.com>
Tue, 15 May 2018 21:57:08 +0000 (17:57 -0400)
committerGitHub <noreply@github.com>
Tue, 15 May 2018 21:57:08 +0000 (17:57 -0400)
docdev: Ubuntu 1804 build guide


Trivial merge