diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-25 17:17:08 +0800 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-25 10:41:33 +0100 |
commit | 39af01e68918c91d006674fd1907e61976c69cb8 (patch) | |
tree | d1cf0284d10a91cfd1a887df63781f94e126ec04 /debian/changelog | |
parent | e898aa91a3a3dd30f83cbc2f2482ad8c189776af (diff) |
dgit: rename $ignoredirty -> $includedirty
This better reflects the effects that the option has.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions