mirror of
https://github.com/micropython/micropython.git
synced 2026-03-12 11:50:24 +01:00
This patch allows you to stop auto-indent by pressing enter on a second blank line. Easier than having to use backspace, and prevents new users from getting stuck in auto-indent mode.