remove obsolete options
authorChristian Grothoff <christian@grothoff.org>
Mon, 9 Jan 2017 16:49:12 +0000 (17:49 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 9 Jan 2017 20:18:55 +0000 (21:18 +0100)
commit07533da06c65a7d0ff5030556584a84ba945dcda
tree867a7f87d3e0daae7519a244163a12b520455f54
parentf12a7fb70153815db528e9ff48088479b3313da3
remove obsolete options
src/cadet/test_cadet.conf