diff options
Diffstat (limited to 'top')
| -rwxr-xr-x | top/gitsub.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/top/gitsub.sh b/top/gitsub.sh index de6cb828e5..b0be2e1a7f 100755 --- a/top/gitsub.sh +++ b/top/gitsub.sh @@ -64,13 +64,13 @@ # # You don't add this piece of configuration to .gitmodules manually. Instead, # you would invoke -# $ git submodule add --name "gnulib" -- https://git.savannah.gnu.org/git/gnulib.git +# $ git submodule add --name "gnulib" -- https://git.savannah.gnu.org/git/gnulib.git gnulib # # * The subdirectories that are not git submodules, in a similar syntax. For # example: # # [subcheckout "gnulib"] -# url = https://git.savannah.gnu.org/git/gnulib.git gnulib +# url = https://git.savannah.gnu.org/git/gnulib.git # path = gnulib # # Here the URL is the one used for anonymous checkouts of the dependency |