Merge pull request #3107 from opensourcerouting/fix/tools-gitignore

tools: Update .gitignore
This commit is contained in:
Lou Berger 2018-10-01 06:43:58 -04:00 committed by GitHub
commit 38893614e5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1
tools/.gitignore vendored
View File

@ -1,2 +1,3 @@
/frr
/permutations
/ssd