search

bbcmicrobit / PythonEditor

A MicroPython editor for the BBC micro:bit that works with browsers.
https://python.microbit.org/
MIT License
198 stars 130 forks source link

Remove duplicate catch/finally #269

Closed microbit-sam closed 5 years ago

microbit-sam commented 5 years ago

Duplicate .catch().finally()