diff --git a/Docs/projects.html b/Docs/projects.html index 9cb6150344..bbbbbaa17b 100644 --- a/Docs/projects.html +++ b/Docs/projects.html @@ -338,7 +338,9 @@ Your name here as project contributor!