diff bin/dbdict-run @ 599:bd777e960c7c

misc small changes
author James Bergstra <bergstrj@iro.umontreal.ca>
date Tue, 13 Jan 2009 20:08:06 -0500
parents 990fa151bb10
children
line wrap: on
line diff