From a2d30557e4f08290bcc1193e3a6a25ffc0a05478 Mon Sep 17 00:00:00 2001 From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com> Date: Wed, 1 Apr 2026 13:13:06 +0200 Subject: [PATCH] chore: remove unused imports from generate_site.py --- scripts/generate_site.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/scripts/generate_site.py b/scripts/generate_site.py index 357da191..39dba7c0 100644 --- a/scripts/generate_site.py +++ b/scripts/generate_site.py @@ -12,7 +12,6 @@ Usage: from __future__ import annotations import argparse -import json import os import shutil import sys @@ -20,11 +19,10 @@ from datetime import datetime, timezone from pathlib import Path sys.path.insert(0, os.path.dirname(__file__)) -from common import list_registered_platforms, load_database, load_emulator_profiles, load_platform_config, require_yaml, write_if_changed +from common import list_registered_platforms, load_database, load_emulator_profiles, require_yaml, write_if_changed yaml = require_yaml() from generate_readme import compute_coverage -from verify import verify_platform DOCS_DIR = "docs" SITE_NAME = "RetroBIOS"