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-sponsorship.7.pod | |
| 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-sponsorship.7.pod')
0 files changed, 0 insertions, 0 deletions