log bin/dbdict-run @ 618:8aef46b42cb5

age author description
Wed, 17 Dec 2008 15:38:37 -0500 James Bergstra using newstuff