diff --git a/docs/banner.html b/docs/banner.html index 43e302544d5..90147c0658e 100644 --- a/docs/banner.html +++ b/docs/banner.html @@ -5,8 +5,7 @@