tools: update .gitignore

Signed-off-by: Christian Franke <[email protected]>
jbonor · May 11, 2017 · e67d443 · e67d443
1 parent be4a57d
commit e67d443
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/.gitignore b/tools/.gitignore
@@ -5,4 +5,5 @@
 *.loT
 .libs
 *.o
-permutations
+/permutations
+/ssd