diff bin/dbdict-run @ 543:34aba0efa3e9

added SIGINT hanlder to dbdict_run
author James Bergstra <bergstrj@iro.umontreal.ca>
date Mon, 17 Nov 2008 20:03:13 -0500
parents 798607a058bd
children 990fa151bb10
line wrap: on
line diff