mirror of
https://github.com/micropython/micropython.git
synced 2025-09-05 17:30:41 +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.