diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-10-07 21:49:24 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-10-07 15:34:16 -0700 |
| commit | 4154ed41085933e7a433e796b431b5466debfa4f (patch) | |
| tree | c9db1f05071bfc30a50cf97795d8a7b0606f7235 /commit-graph.c | |
| parent | 777489f9e09c8d0dd6b12f9d90de6376330577a2 (diff) | |
docs: fix the `maintain-git` links in `technical/platform-support`
These links should point to `.html` files, not to `.txt` ones.
Compare also to 4945f046c7f (api docs: link to html version of
api-trace2, 2022-09-16).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions