diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 16:11:52 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 16:11:52 +0000 |
commit | 91e2737f7ffeb765d291b6d886626331725f31cd (patch) | |
tree | 9798903c9fc7240c72e0c18a378d527f28c1ff68 | |
parent | f773b1ed2796196e0fa801886fce493544c38fe0 (diff) |
dgit-badcommit-fixup: Rename
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | dgit-badcommit-fixup (renamed from badcommit-fixup) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/badcommit-fixup b/dgit-badcommit-fixup index 4573121..4573121 100755 --- a/badcommit-fixup +++ b/dgit-badcommit-fixup |