diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 19:14:40 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 09:57:52 +0100 |
| commit | 780a7c95e17f7d467015070895cb1fc18e1daff4 (patch) | |
| tree | 4d96cf1e9b4cdfa2c1becb1401ea539068bab152 /dgit | |
| parent | 9b34c3e59ee77136f100c2514524e841c4b30eab (diff) | |
worktree support: Dgit.pm: Introduce $maindir_gitdir and _commondir
A "git worktree" separates out some of the things which used to be
found in .git, into "common" things and "gitdir" things.
In this patch we simply collect the relevant informaation. No-one
uses it yet so there is no significant functional change.
However, while we are here, we do improve an error message slightly.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
0 files changed, 0 insertions, 0 deletions