diff bin/dbdict-query @ 588:990fa151bb10

using newstuff
author James Bergstra <bergstrj@iro.umontreal.ca>
date Wed, 17 Dec 2008 15:38:37 -0500
parents 798607a058bd
children
line wrap: on
line diff