diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 18:34:02 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 09:57:52 +0100 |
commit | 9b34c3e59ee77136f100c2514524e841c4b30eab (patch) | |
tree | c97a2972ab8a24d19af3cdc405b46499ac5f7b65 /DEVELOPER-CERTIFICATE | |
parent | 15b1da549c58aed4425934594ac5fdd91222aeed (diff) |
playground refactoring: Dgit.pm: Provide ensure_a_playground
dgit wants to make a lot of temporary things in .git/dgit.
That's like a playground, but dgit doesn't want it wiped.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'DEVELOPER-CERTIFICATE')
0 files changed, 0 insertions, 0 deletions