diff python/other/diagrameditor.py @ 303:be7f60545368

Final fixups
author Windel Bouwman
date Fri, 06 Dec 2013 12:37:48 +0100
parents 7b38782ed496
children b77f3290ac79
line wrap: on
line diff