From 5ba794405ff2781d57899d85eba3b0cda0e553c6 Mon Sep 17 00:00:00 2001 From: Simon Marquis Date: Tue, 3 Oct 2023 15:13:01 +0100 Subject: [PATCH] Fixed link to projects plugin (#6127) --- docs/plugins/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/plugins/index.md b/docs/plugins/index.md index 892441890ef..8bf6a8a0451 100644 --- a/docs/plugins/index.md +++ b/docs/plugins/index.md @@ -95,7 +95,7 @@ minimal reproductions for bug reports: [group]: group.md [info]: info.md [meta]: meta.md - [projects]: meta.md + [projects]: projects.md ### Optimization