diff options
| author | Simon Josefsson <simon@josefsson.org> | 2021-01-10 11:28:31 +0100 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2021-01-10 11:28:31 +0100 |
| commit | 411da821020a5f3e8ae592fd396854af2d8de046 (patch) | |
| tree | 39a6a4efb073232ed10b91ddd8a06985980e6199 /top | |
| parent | 14eeb8100475828af2641a7847586826be1f69d1 (diff) | |
| download | gnulib-411da821020a5f3e8ae592fd396854af2d8de046.tar.gz | |
Correct preceeding change.
* top/gitsub.sh: Update link.
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 |