chiark / gitweb /
fix detection of topgit repo
[topgit.git] / debian / compat
1 7