diff python/ide.py @ 193:f091e7d70996

Added even more checks
author Windel Bouwman
date Sun, 26 May 2013 23:58:59 +0200
parents ee0d30533dae
children 8b2f20aae086
line wrap: on
line diff