+ highlight Python integers with error reporting
Authored by: techtonik 2007-05-02
Parent: [r989]
Child: [r991]