diff options
author | Stefan Beller <sbeller@google.com> | 2017-03-15 00:46:31 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-03-16 04:15:54 +0300 |
commit | 15cdc6477634e0227e4211de464c6443a68172c9 (patch) | |
tree | fcdc3d3d72371aa687e4bc9f4e2e26c633ed3c50 /submodule-config.h | |
parent | 259f3ee29666eddf65fb0fe0e3fd14aa22f33cba (diff) |
make is_submodule_populated gently
We need the gentle version in a later patch. As we have just one caller,
migrate the caller.
Signed-off-by: Stefan Beller <sbeller@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'submodule-config.h')
0 files changed, 0 insertions, 0 deletions