diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-05-17 16:34:02 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-17 16:34:02 -0700 |
| commit | 3d1b5a1ebc2e4d9c3323a8f2b1fac732562968b5 (patch) | |
| tree | 49e1d04b52edbaa0b3d2fc549ad3cdbe30f9e1ee /git-push.html | |
| parent | ba7fe50148ec50de8394e1fe0f672c47bf6d4c17 (diff) | |
| download | git-htmldocs-3d1b5a1ebc2e4d9c3323a8f2b1fac732562968b5.tar.gz | |
Autogenerated HTML docs for v1.8.3-rc3
Diffstat (limited to 'git-push.html')
| -rw-r--r-- | git-push.html | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/git-push.html b/git-push.html index 3c5e69ecf..c7fa8b362 100644 --- a/git-push.html +++ b/git-push.html @@ -973,10 +973,7 @@ useful if you write an alias or script around <em>git push</em>.</p></div> </p>
</dd>
<dt class="hdlist1">
---thin
-</dt>
-<dt class="hdlist1">
---no-thin
+--[no-]thin
</dt>
<dd>
<p>
@@ -1645,7 +1642,7 @@ a <code>git gc</code> command on the origin repository.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2013-03-25 16:35:50 PDT
+Last updated 2013-05-17 16:33:07 PDT
</div>
</div>
</body>
|