From f87de5803d4ee068523a330d06b15b5a9ad6b6cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Fri, 17 Nov 2023 13:52:34 +0100 Subject: [PATCH] scripts: update for new header markup (#83659) --- scripts/lag.py | 12 ++++++------ scripts/reviews.py | 12 ++++++------ 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/scripts/lag.py b/scripts/lag.py index f3c39c5..6e9acec 100644 --- a/scripts/lag.py +++ b/scripts/lag.py @@ -61,12 +61,11 @@ pre { margin: 0; font-size: 90%; color: #444; background: #fafafa; }
-