comparison 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
comparison
equal deleted inserted replaced
598:e763711472a5 599:bd777e960c7c