svgui/__init__.py
author Laurent Bessard
Thu, 08 Nov 2012 18:54:34 +0100
changeset 879 55b8a16ead2b
parent 728 e0424e96e3fd
child 1511 91538d0c242c
permissions -rw-r--r--
Fix resource task interval error highlighting
from svgui import *