comparison bin/dbdict-query @ 624:25d9f91f1afa

fixing session management in db dict update
author James Bergstra <bergstrj@iro.umontreal.ca>
date Sun, 18 Jan 2009 22:17:56 -0500
parents 798607a058bd
children
comparison
equal deleted inserted replaced
623:ae954c27fd11 624:25d9f91f1afa