diff python/ide.py @ 239:63bb40758066

added check
author Windel Bouwman
date Mon, 22 Jul 2013 17:57:25 +0200
parents 8b2f20aae086
children 6259856841a0
line wrap: on
line diff