diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-28 18:27:36 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 15:56:58 +0100 |
commit | 8b30674d5dbdebb3ad48bff887d99f5c4fea7984 (patch) | |
tree | 27747f73815b624071570165b8248ab0a8bffa70 /dgit | |
parent | 9ecc454c514558e7d49fa47083a69e456cc33239 (diff) |
playground: playtree: rename from workarea
We are going to use "playground" for containing temporary directory,
and playtree for git trees within it.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1679,7 +1679,7 @@ sub prep_ud (;$) { } sub mktree_in_ud_here () { - workarea_setup $gitcfgs{local}; + playtree_setup $gitcfgs{local}; } sub git_write_tree () { |