-
Leo P. Singer authored
This makes BAYESTAR much better behaved when the user types ctrl-C. Original: fa0ced3c434f96ac823a0793a24c89ce3d258167
cb5d75aa
This makes BAYESTAR much better behaved when the user types ctrl-C. Original: fa0ced3c434f96ac823a0793a24c89ce3d258167