diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 19:56:40 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 09:57:52 +0100 |
commit | 2ef2809f38beeafcccd904267b82849ddcb17957 (patch) | |
tree | 54a50377f45508f296790fa8a20b859f544bb70a /dgit.7 | |
parent | 780a7c95e17f7d467015070895cb1fc18e1daff4 (diff) |
directory refactoring: Rename no_local_git_cfg
This is actually called when we don't know that we are starting in a
git tree. We want to use this knowledge to control an automatic call
to record_maindir, too.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.7')
0 files changed, 0 insertions, 0 deletions