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>

1 files changed, 1 insertions, 1 deletions

diff --git a/dgit b/dgit
index 6780af7..827dc62 100755
--- a/dgit
+++ b/dgit
@@ -1679,7 +1679,7 @@ sub prep_ud (;$) {
 }
 
 sub mktree_in_ud_here () {
-    workarea_setup $gitcfgs{local};
+    playtree_setup $gitcfgs{local};
 }
 
 sub git_write_tree () {