]> git.puffer.fish Git - mirror/frr.git/commitdiff
projects / mirror / frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 979ee88)
tools: Update .gitignore 3107/head
authorChristian Franke <chris@opensourcerouting.org>
Fri, 28 Sep 2018 18:33:29 +0000 (20:33 +0200)
committerChristian Franke <chris@opensourcerouting.org>
Fri, 28 Sep 2018 18:34:29 +0000 (20:34 +0200)
Signed-off-by: Christian Franke <chris@opensourcerouting.org>
tools/.gitignore patch | blob | history

diff --git a/tools/.gitignore b/tools/.gitignore
index d400dfe8fa573f5d2837f1e635c1b3cd16de4b5d..a8d01d680e05767bad456e7ccc1f0309163b9716 100644 (file)
--- a/tools/.gitignore
+++ b/tools/.gitignore
@@ -1,2 +1,3 @@
+/frr
 /permutations
 /ssd
Unnamed repository; edit this file 'description' to name the repository.