diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 15:52:41 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 09:57:01 +0100 |
| commit | 15b1da549c58aed4425934594ac5fdd91222aeed (patch) | |
| tree | 5993d80c74128f26b2ffc9c545705b344e3a0537 /dgit-user.7.pod | |
| parent | 7ec5b74cc4587f7473a1e787d591c07eb1f48046 (diff) | |
playground refactoring: Dgit.pm: Honour $maindir in fresh_playground
Previously, fresh_playground expected that the playground argument has
exactly the depth .git/FOO/BAR.
Now, it expects that $maindir is set. In dgit (the only caller right
now) this is always true because dgit now uses fresh_playground.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-user.7.pod')
0 files changed, 0 insertions, 0 deletions