chiark / gitweb /
in check_not_dirty, diff against HEAD as that's what we care about
[dgit.git] / debian / compat
1 9