]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #1858 from qlyoung/gitignore-clippy-sources
authorRenato Westphal <renato@openbsd.org>
Mon, 12 Mar 2018 15:21:24 +0000 (12:21 -0300)
committerGitHub <noreply@github.com>
Mon, 12 Mar 2018 15:21:24 +0000 (12:21 -0300)
*: globally ignore clippy-generated source


Trivial merge