diff python/other/diagrameditor.py @ 407:9eb1fc6aad6c

Minor improvements
author Windel Bouwman
date Fri, 20 Feb 2015 15:47:54 +0100
parents bb4289c84907
children
line wrap: on
line diff