-removing tons of options that should be dead
authorChristian Grothoff <christian@grothoff.org>
Tue, 16 Dec 2014 20:56:32 +0000 (20:56 +0000)
committerChristian Grothoff <christian@grothoff.org>
Tue, 16 Dec 2014 20:56:32 +0000 (20:56 +0000)
commitd3a5ccbe2d810689d2eb23d5bd1f3c484d0e6ba6
treef3139ca7c71fbb6758c740a210c7f5477fe3ad51
parent0005364b9161750ff587b54ecfdeaf90cc6f6033
-removing tons of options that should be dead
src/cadet/cadet.conf.in
src/cadet/test_cadet.conf