diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-11-14 17:02:47 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-11-16 14:10:31 +0900 |
| commit | 356aea6f7921d83f2794124c84ad366b418ec804 (patch) | |
| tree | 697e98c286d1126c268e9a24bb13eb6b70bdd6c8 /commit-graph.h | |
| parent | d166e6afe5f257217836ef24a73764eba390c58d (diff) | |
doc: move extensions.worktreeConfig to the right place
All config extensions are described in technical/repository-version.txt.
I made a mistake of adding it in config.txt instead. This patch moves
it back to where it belongs.
Since repository-version.txt is not part of officially generated
documents (it's not even part of DOC_HTML target), it's only visible
to developers who read plain .txt files. Let's include it in
gitrepository-layout.5 for more visibility. Some minor asciidoc fixes
are required in repository-version.txt to make this happen.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.h')
0 files changed, 0 insertions, 0 deletions