diff options
author | Peter Hartmann <phartmann@blackberry.com> | 2013-07-02 14:12:23 +0200 |
---|---|---|
committer | Zeno Albisser <zeno.albisser@digia.com> | 2013-07-02 17:35:25 +0200 |
commit | bbf3de053792cf042a6086b28f48e1aaee395657 (patch) | |
tree | 6a2870ffee25b9107abc4907a889f586df4ba073 | |
parent | 9f16a61146ac5018c55dbe70926d921e3d0af4d1 (diff) |
ninja repo: use https:// URL instead if git:// URL
... to be able to clone it from behind a restrictive firewall.
Change-Id: Ie722c268da2ae1932c524337c35e7ea888c8f71f
Reviewed-by: Zeno Albisser <zeno.albisser@digia.com>
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 88ae082df..337420757 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "build/ninja"] path = build/ninja - url = git://github.com/martine/ninja.git + url = https://github.com/martine/ninja.git [submodule "chromium"] path = chromium url = https://chromium.googlesource.com/chromium/src.git |