view README.txt @ 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 798607a058bd
children
line wrap: on
line source