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