summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2018-07-25 17:17:08 +0800
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-25 10:41:33 +0100
commit39af01e68918c91d006674fd1907e61976c69cb8 (patch)
treed1cf0284d10a91cfd1a887df63781f94e126ec04 /debian
parente898aa91a3a3dd30f83cbc2f2482ad8c189776af (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')
0 files changed, 0 insertions, 0 deletions