chiark / gitweb /
import the "re" module in the editor
authorBen Harris <bjh21@bjh21.me.uk>
Wed, 14 Sep 2022 08:21:12 +0000 (09:21 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Wed, 14 Sep 2022 08:21:12 +0000 (09:21 +0100)
commit53a8073d86d858d2303560774744fcc564ffadeb
treeb241bdcec5a7e5d652e2f84886b02165e7e0a9dd
parent84b8a0ae0b8280151ce02fcb510c128d799ff7a5
import the "re" module in the editor

Without it, pasting doesn't actually work.
editor.py