diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html index 6e0650e2ca6..a1b8c3efc4c 100644 --- a/docs/checker-framework-webpage.html +++ b/docs/checker-framework-webpage.html @@ -33,8 +33,8 @@

The Checker Framework