diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 16:39:58 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 18:01:18 +0100 |
commit | 224ca6b4a472fb9bb70f455bcea6733f9c9e99bc (patch) | |
tree | cb16cffefdf59ceb174dba4bfa165554b523f5c2 /debian/git-debpush.install | |
parent | 1e947003e9b48254d349f000eaab3849511eb55e (diff) |
git-playtree-setup: Rename from git-playtree-create
The name is from when I thought it would actually mkdir. But it
doesn't. No overall functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/git-debpush.install')
-rw-r--r-- | debian/git-debpush.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/git-debpush.install b/debian/git-debpush.install index 563b42f..afba498 100644 --- a/debian/git-debpush.install +++ b/debian/git-debpush.install @@ -1 +1 @@ -git-playtree-create /usr/share/git-debpush +git-playtree-setup /usr/share/git-debpush |