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 /tests | |
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 'tests')
0 files changed, 0 insertions, 0 deletions