]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3570 from donaldsharp/dire_warning
authorLou Berger <lberger@labn.net>
Tue, 15 Jan 2019 16:44:25 +0000 (11:44 -0500)
committerGitHub <noreply@github.com>
Tue, 15 Jan 2019 16:44:25 +0000 (11:44 -0500)
more doc stuff for configure


Trivial merge