It is possible that the subproject has been downloaded already, in that case there is no reason to not use it. If the subproject has not been downlaoded already it will fail do_subproject().pull/4663/head
parent
f126f43c4f
commit
47b9c1a564
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue