util/__init__.py
author Laurent Bessard
Thu, 07 Nov 2013 00:31:46 +0100
changeset 1373 4278d5c1e414
parent 742 41a4a560406c
permissions -rw-r--r--
Fixed bug when graphic element position and size and connection points are decimal