diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-23 16:07:42 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-23 16:07:42 +0900 |
commit | b9d9d90d180cf21baeeb16bd89828d25c7901470 (patch) | |
tree | a40241052af8d4f5543b66581e3f0235cfae0af3 /git-prune.html | |
parent | ccb8252b46bfba5daf0cfcedaf0f9d2e14ba356f (diff) | |
download | git-htmldocs-b9d9d90d180cf21baeeb16bd89828d25c7901470.tar.gz |
Autogenerated HTML docs for v2.17.0-775-ge144d
Diffstat (limited to 'git-prune.html')
-rw-r--r-- | git-prune.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/git-prune.html b/git-prune.html index f8d8890d2..f36aa7338 100644 --- a/git-prune.html +++ b/git-prune.html @@ -1,9 +1,10 @@ +<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
-<meta name="generator" content="AsciiDoc 8.6.9" />
+<meta name="generator" content="AsciiDoc 8.6.10" />
<title>git-prune(1)</title>
<style type="text/css">
/* Shared CSS for AsciiDoc xhtml11 and html5 backends */
@@ -843,7 +844,7 @@ not desired, see <a href="git-repack.html">git-repack(1)</a>.</p></div> </div>
</div>
<div class="sect1">
-<h2 id="_example">EXAMPLE</h2>
+<h2 id="_examples">EXAMPLES</h2>
<div class="sectionbody">
<div class="paragraph"><p>To prune objects not used by your repository or another that
borrows from your repository via its
@@ -855,7 +856,7 @@ borrows from your repository via its </div>
</div>
<div class="sect1">
-<h2 id="_notes">Notes</h2>
+<h2 id="_notes">NOTES</h2>
<div class="sectionbody">
<div class="paragraph"><p>In most cases, users will not need to call <em>git prune</em> directly, but
should instead call <em>git gc</em>, which handles pruning along with
@@ -883,7 +884,7 @@ many other housekeeping tasks.</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2018-01-26 15:11:04 PST
+ 2018-05-23 16:06:29 JST
</div>
</div>
</body>
|