Merge branch 'public'

[tripe] / debian / .gitignore

diff --git a/debian/.gitignore b/debian/.gitignore
index 9f9f3ef..a993e57 100644 (file)
--- a/debian/.gitignore
+++ b/debian/.gitignore
@@ -6,9 +6,11 @@ substvars
 *.debhelper
 stamp-*
 compat
+*.log
 
 ## Individual packages
 pkstream
+pathmtu
 tripe
 tripe.default
 tripe.init
@@ -16,3 +18,5 @@ tripe-wireshark
 tripemon
 tripe-keys
 tripe-ethereal
+tripe-uslip
+