comparison bin/dbdict-run-job @ 588:990fa151bb10

using newstuff
author James Bergstra <bergstrj@iro.umontreal.ca>
date Wed, 17 Dec 2008 15:38:37 -0500
parents 798607a058bd
children
comparison
equal deleted inserted replaced
587:a4f65f1d2b18 588:990fa151bb10