From 8bec65ba723c9c628d934ec02021d5ce09c01105 Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Wed, 30 Sep 2026 13:10:21 +0200 Subject: chore: clean up python scripts --- kapi/gdb/boot_modules/boot_module_registry.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kapi/gdb/boot_modules/boot_module_registry.py') diff --git a/kapi/gdb/boot_modules/boot_module_registry.py b/kapi/gdb/boot_modules/boot_module_registry.py index 599a8234..262d46f3 100644 --- a/kapi/gdb/boot_modules/boot_module_registry.py +++ b/kapi/gdb/boot_modules/boot_module_registry.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] from teachos import format_size -- cgit v1.2.3