mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 20:50:14 +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.