]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #1375 from donaldsharp/make_dist
authorMartin Winter <mwinter@opensourcerouting.org>
Tue, 21 Nov 2017 02:14:14 +0000 (18:14 -0800)
committerGitHub <noreply@github.com>
Tue, 21 Nov 2017 02:14:14 +0000 (18:14 -0800)
ldpd, zebra: Allow clippy files to be included in dist


Trivial merge