From 8521680eb23bd88d4ac58018c889ff820aa62dc3 Mon Sep 17 00:00:00 2001 From: Ayaz Salikhov Date: Mon, 6 Nov 2023 00:55:25 +0100 Subject: [PATCH] Simpler wiki home page table --- tagging/update_wiki.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tagging/update_wiki.py b/tagging/update_wiki.py index e5ffc75b3f..ab6ec7e585 100755 --- a/tagging/update_wiki.py +++ b/tagging/update_wiki.py @@ -11,8 +11,8 @@ def update_home_wiki_page(wiki_dir: Path, month: str) -> None: TABLE_BEGINNING = """\ -| Month | File | -| - | - | +| Month | +| - | """ wiki_home_file = wiki_dir / "Home.md" wiki_home_content = wiki_home_file.read_text()