diff options
author | Eric Sunshine <sunshine@sunshineco.com> | 2022-09-01 00:29:56 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-09-01 10:07:41 -0700 |
commit | fb41727b7ed7f62d121cd846f826fb1c62d1bc6a (patch) | |
tree | c75beb3e981459018100af3c6c8d76a5b7bb86f4 /builtin/commit-graph.c | |
parent | 69b9924b875079babb1d3f665bdc719c4871ba73 (diff) |
t: retire unused chainlint.sed
Retire chainlint.sed since it has been replaced by a more accurate and
functional &&-chain "linter", thus is no longer used.
Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions