diff --git a/docs/developer/gsoc-ideas.html b/docs/developer/gsoc-ideas.html index 52f213e869d..cf4fccf2e1b 100644 --- a/docs/developer/gsoc-ideas.html +++ b/docs/developer/gsoc-ideas.html @@ -9,7 +9,7 @@ -Checker Framework logo +Checker Framework logo

New contributor ideas