chiark / gitweb /
in check_not_dirty, diff against HEAD as that's what we care about
[dgit.git] / TODO
1 distro option