diff misc.py @ 227:17c5d080964b

reinstating changeset 216 clobbered accidentally by 218
author James Bergstra <bergstrj@iro.umontreal.ca>
date Tue, 27 May 2008 13:23:05 -0400
parents e9a95e19e6f8
children d7250ee86f72
line wrap: on
line diff