Re-add the scripts submodule, with a different internal name
This will break existing clones when using git versions before 1.8.1, which do not support the --name option of "git submodule add", unless steps are taken to remove the old scripts submodules in .git/modules (see Compile.rst).develop
parent
af906d6582
commit
85a920d1df
@ -0,0 +1 @@
|
|||||||
|
Subproject commit b67885c0c07931a402a3b642a4e2468f14782058
|
Loading…
Reference in New Issue