diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-10-20 08:54:01 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-10-20 08:54:01 +0100 |
| commit | 8de7bc93397a95312b742bc5af733208f702f3a8 (patch) | |
| tree | ab390f364edbcd4b905d8dd5fcddb92a0274be4c /config/git/grub | |
| parent | d1f23eca34a4157e876e451f6fee2109c94d28e9 (diff) | |
include/git: don't re-download single-trees
only do it if the target source tree does not exist
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/git/grub')
0 files changed, 0 insertions, 0 deletions
