]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #944 from qlyoung/ignore-disrtamp
authorDavid Lamparter <equinox@diac24.net>
Wed, 9 Aug 2017 17:55:20 +0000 (19:55 +0200)
committerGitHub <noreply@github.com>
Wed, 9 Aug 2017 17:55:20 +0000 (19:55 +0200)
*: ignore .dirstamp


Trivial merge