summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-07-28 18:27:36 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-08-02 15:56:58 +0100
commit8b30674d5dbdebb3ad48bff887d99f5c4fea7984 (patch)
tree27747f73815b624071570165b8248ab0a8bffa70 /debian/rules
parent9ecc454c514558e7d49fa47083a69e456cc33239 (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 'debian/rules')
0 files changed, 0 insertions, 0 deletions