diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2018-08-17 13:09:58 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-17 13:09:58 -0700 |
| commit | f74e7b8c5b1d5d7a70cfd3a747ee7242060092e9 (patch) | |
| tree | 9c3e63e68b12d5d257b6815114a0571d034c5be7 /Documentation/technical/api-grep.txt | |
| parent | Merge branch 'hn/config-in-code-comment' (diff) | |
| parent | add a script to diff rendered documentation (diff) | |
| download | tgif-f74e7b8c5b1d5d7a70cfd3a747ee7242060092e9.tar.xz | |
Merge branch 'jk/diff-rendered-docs'
The end result of documentation update has been made to be
inspected more easily to help developers.
* jk/diff-rendered-docs:
add a script to diff rendered documentation
Diffstat (limited to 'Documentation/technical/api-grep.txt')
0 files changed, 0 insertions, 0 deletions