log python/ide/ide.py @ 407:9eb1fc6aad6c

age author description
Sat, 01 Mar 2014 16:27:52 +0100 Windel Bouwman Fix ide devel