diff options
| author |  Utku Gultopu <ugultopu@gmail.com> | 2021-01-08 16:54:56 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-01-09 22:57:24 -0800 |
| commit | b356d236389979f8c65ee76562d44acc62efdc46 (patch) | |
| tree | ed4a13dbc778c36622eb2ce0c0fa6cee68739e4f /git-gui/lib/choose_repository.tcl | |
| parent | Git 2.30 (diff) | |
| download | tgif-b356d236389979f8c65ee76562d44acc62efdc46.tar.xz | |
doc: remove "directory cache" from man pages
"directory cache" (or "directory cache index", "cache") are obsolete
terms which have been superseded by "index". Keeping them in the
documentation may be a source of confusion. This commit replaces
them with the current term, "index", on man pages.
Signed-off-by: Utku Gultopu <ugultopu@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib/choose_repository.tcl')
0 files changed, 0 insertions, 0 deletions