comparison bin/dbdict-run @ 607:23467f473eb7

added dbdict-run cmdline option (-2 --allow_sigint) to allow ctrl-c to interrupt progrma
author James Bergstra <bergstrj@iro.umontreal.ca>
date Thu, 15 Jan 2009 22:22:45 -0500
parents 990fa151bb10
children
comparison
equal deleted inserted replaced
606:e4a92dce13fe 607:23467f473eb7