chiark / gitweb /
dgit: rename $ignoredirty -> $includedirty