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