chiark / gitweb /
Make `tripe' be the default key type.
[tripe] / debian / .gitignore
index 97c072483e1ba927c9a693dbfd193e0a30e40b15..e8d38ced51c3c5c08b1018417de556550bb24936 100644 (file)
@@ -10,6 +10,8 @@ compat
 
 ## Individual packages
 pkstream
+pathmtu
+python-tripe
 tripe
 tripe.default
 tripe.init
@@ -17,3 +19,5 @@ tripe-wireshark
 tripemon
 tripe-keys
 tripe-ethereal
+tripe-uslip
+tripe-peer-services