From f70cec5775d27827b62721e1b313d216d90fbc50 Mon Sep 17 00:00:00 2001 From: Yuval Tassa Date: Fri, 3 Nov 2023 15:06:53 -0700 Subject: [PATCH] Remove temporary banner PiperOrigin-RevId: 579317175 Change-Id: I26444eb467919e40d249ee5befee0164250a28d7 --- doc/conf.py | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 7c07a3b9..bc244774 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -144,7 +144,6 @@ html_theme_options = { 'wy-menu-vertical-color': 'white', 'wy-nav-side-background-color': '#0053d6', }, - "announcement": "CoRL 2023 meetup in Atlanta, RSVP here!", } for v in html_theme_options.values():