diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:55:30 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:55:30 +0900 |
commit | 48cd3f1251acf31e83d2e59ddf2176aa8e84290c (patch) | |
tree | 56769f5f3a65e8ce06b8eaa6f1b8bb795c8c6434 /git-gui.html | |
parent | a8858316fb3186e69d324183d9af58ef55dfb794 (diff) | |
download | git-htmldocs-48cd3f1251acf31e83d2e59ddf2176aa8e84290c.tar.gz |
Autogenerated HTML docs for v2.23.0-526-g70bf0
Diffstat (limited to 'git-gui.html')
-rw-r--r-- | git-gui.html | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/git-gui.html b/git-gui.html index 089b8119e..977ecb754 100644 --- a/git-gui.html +++ b/git-gui.html @@ -927,17 +927,11 @@ version <div class="paragraph"><p><em>git gui</em> is actually maintained as an independent project, but stable
versions are distributed as part of the Git suite for the convenience
of end users.</p></div>
-<div class="paragraph"><p>A <em>git gui</em> development repository can be obtained from:</p></div>
+<div class="paragraph"><p>The official repository of the <em>git gui</em> project can be found at:</p></div>
<div class="literalblock">
<div class="content">
-<pre><code>git clone git://repo.or.cz/git-gui.git</code></pre>
+<pre><code>https://github.com/prati0100/git-gui.git/</code></pre>
</div></div>
-<div class="paragraph"><p>or</p></div>
-<div class="literalblock">
-<div class="content">
-<pre><code>git clone http://repo.or.cz/r/git-gui.git</code></pre>
-</div></div>
-<div class="paragraph"><p>or browsed online at <a href="http://repo.or.cz/w/git-gui.git/">http://repo.or.cz/w/git-gui.git/</a>.</p></div>
</div>
</div>
<div class="sect1">
@@ -951,7 +945,7 @@ of end users.</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2018-01-27 08:11:04 JST
+ 2019-10-09 14:51:03 JST
</div>
</div>
</body>
|