connectors/USB/USB_connector.py
author laurent
Tue, 20 Dec 2011 23:37:06 +0100
changeset 656 c1792dfc8c7e
parent 203 cb9901076a21
permissions -rwxr-xr-x
Fixing bug integrated plugin editors not closed when removing corresponding plugin