mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 13:10:21 +01:00
Prior to this fix, enabling WebREPL for the first time via webrepl_setup did not work at all because "boot.py" did not contain any lines with "webrepl" in them that could be uncommented.