mirror of
https://github.com/micropython/micropython.git
synced 2025-09-06 09:50:20 +02: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.