Author

Hood Chatham <roberthoodchatham@gmail.com> 2024-04-02 16:16:16 +0200

Parents

f04e5ce

Tree

43e0b2b

Minor Python cleanup (#1912)

Nonfunctional change. Rename reportError.js into util.js and move
simpleRunPython there. Also run formatter.