diff python/codeedit.py @ 166:da0087b82fbe

Improved type checking
author Windel Bouwman
date Fri, 22 Mar 2013 16:15:31 +0100
parents 8104fc8b5e90
children 0b5b2ee6b435
line wrap: on
line diff