diff python/ide/ide.py @ 303:be7f60545368

Final fixups
author Windel Bouwman
date Fri, 06 Dec 2013 12:37:48 +0100
parents 917eab04b8b7
children b145f8e6050b
line wrap: on
line diff