From 66ef3c36c0db02759711e97061e0b19f9a1ac216 Mon Sep 17 00:00:00 2001 From: Thomas Farstrike Date: Tue, 24 Mar 2026 12:40:25 +0100 Subject: [PATCH] Add title to WebREPL HTML --- .../builtin/html/webrepl_inlined_minified.html | 4 ++-- webrepl/webrepl.html | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/internal_filesystem/builtin/html/webrepl_inlined_minified.html b/internal_filesystem/builtin/html/webrepl_inlined_minified.html index 6ef57225..fe7e27dd 100644 --- a/internal_filesystem/builtin/html/webrepl_inlined_minified.html +++ b/internal_filesystem/builtin/html/webrepl_inlined_minified.html @@ -1,13 +1,13 @@ -MicroPython WebREPL +MicroPythonOS WebREPL - +

MicroPythonOS WebREPL

diff --git a/webrepl/webrepl.html b/webrepl/webrepl.html index 6aa7e6a7..e87ac560 100644 --- a/webrepl/webrepl.html +++ b/webrepl/webrepl.html @@ -1,13 +1,13 @@ -MicroPython WebREPL +MicroPythonOS WebREPL - +

MicroPythonOS WebREPL