summaryrefslogtreecommitdiff
path: root/Debian/Dgit/Infra.pm
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-08-02 19:19:38 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-08-03 20:37:19 +0100
commit8a6027965b4f02552cf754f9ec081e35c7174146 (patch)
tree375ff6e62f8f18f6cf7021958d54c71bb67f721d /Debian/Dgit/Infra.pm
parent37923577e345babd9e21382449147053ed063f44 (diff)
worktree support: Fix playtree_setup
In a worktree, .git is not a directory. We need to use $maindir_common. Add a comment, too. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian/Dgit/Infra.pm')
0 files changed, 0 insertions, 0 deletions