chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e898aa9) | patch
dgit: rename $ignoredirty -> $includedirty
authorSean Whitton <spwhitton@spwhitton.name>
Wed, 25 Jul 2018 09:17:08 +0000 (17:17 +0800)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 25 Jul 2018 09:41:33 +0000 (10:41 +0100)
commit39af01e68918c91d006674fd1907e61976c69cb8
treed1cf0284d10a91cfd1a887df63781f94e126ec04tree | snapshot
parente898aa91a3a3dd30f83cbc2f2482ad8c189776afcommit | diff
dgit: rename $ignoredirty -> $includedirty

This better reflects the effects that the option has.

Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.