diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-12-12 16:55:42 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-12-12 16:55:42 -0800 |
commit | 4c8f2d99229331de853716af53a6a0901b4b0d68 (patch) | |
tree | 4b9092242d6df0a53cbfe1c91fa3c3c8ce67e05e /config.txt | |
parent | f079f7094a3ce05d8f51729b0f0b6bf2ed594114 (diff) | |
download | git-htmldocs-4c8f2d99229331de853716af53a6a0901b4b0d68.tar.gz |
Autogenerated HTML docs for v1.8.5.1-163-gd7ace
Diffstat (limited to 'config.txt')
-rw-r--r-- | config.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.txt b/config.txt index ab26963d6..a4058063c 100644 --- a/config.txt +++ b/config.txt @@ -2087,8 +2087,8 @@ remote.<name>.vcs:: remote.<name>.prune:: When set to true, fetching from this remote by default will also - remove any remote-tracking branches which no longer exist on the - remote (as if the `--prune` option was give on the command line). + remove any remote-tracking references that no longer exist on the + remote (as if the `--prune` option was given on the command line). Overrides `fetch.prune` settings, if any. remotes.<group>:: |