Release 1.0.0pre18.

[tripe] / debian / .gitignore

diff --git a/debian/.gitignore b/debian/.gitignore
index e8d38ce..dcddb1d 100644 (file)
--- a/debian/.gitignore
+++ b/debian/.gitignore
@@ -5,7 +5,6 @@ substvars
 *.substvars
 *.debhelper
 stamp-*
-compat
 *.log
 
 ## Individual packages