diff options
author | Junio C Hamano <gitster@pobox.com> | 2015-03-23 14:32:46 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-03-23 14:32:46 -0700 |
commit | 322c6244651c408d924f71f73effd8ed833916d3 (patch) | |
tree | 6e8cf8d283e2a923cc330b4b64eeb3c972341edd /gitattributes.html | |
parent | 0762262193bb8a218def4fd749a68476d5337b5d (diff) | |
download | git-htmldocs-322c6244651c408d924f71f73effd8ed833916d3.tar.gz |
Autogenerated HTML docs for v2.3.4-263-gf53fc
Diffstat (limited to 'gitattributes.html')
-rw-r--r-- | gitattributes.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gitattributes.html b/gitattributes.html index 9b6d331c8..ac1b3bd98 100644 --- a/gitattributes.html +++ b/gitattributes.html @@ -833,7 +833,7 @@ Attributes which should be version-controlled and distributed to other repositories (i.e., attributes of interest to all users) should go into
<code>.gitattributes</code> files. Attributes that should affect all repositories
for a single user should be placed in a file specified by the
-<code>core.attributesfile</code> configuration option (see <a href="git-config.html">git-config(1)</a>).
+<code>core.attributesFile</code> configuration option (see <a href="git-config.html">git-config(1)</a>).
Its default value is $XDG_CONFIG_HOME/git/attributes. If $XDG_CONFIG_HOME
is either not set or empty, $HOME/.config/git/attributes is used instead.
Attributes for all users on a system should be placed in the
@@ -1855,7 +1855,7 @@ frotz unspecified</code></pre> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2014-11-04 14:37:41 PST
+Last updated 2015-03-23 14:31:16 PDT
</div>
</div>
</body>
|