chiark / gitweb /
dgit: Rename --ignore-dirty to --include-dirty
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 03:22:42 +0000 (04:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 03:22:43 +0000 (04:22 +0100)
commit9b1710555b3d13149437428cd2d8b4b3d5209132
treebe9c1c7276652dbba671bf9e57b9b43534cd2851
parent67e3687e3223a97f2d2952ba2aba32d0c177966b
dgit: Rename --ignore-dirty to --include-dirty

Leaving the old name supported as a deprecated alias.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog
dgit
dgit.1