diff -r 42650dc4e95e -r 7613a256b9a6 config/debug/duma.in --- a/config/debug/duma.in Thu Jul 12 08:47:15 2007 +0000 +++ b/config/debug/duma.in Sat Jul 14 17:34:54 2007 +0000 @@ -4,7 +4,6 @@ bool prompt "D.U.M.A." default n - depends on EXPERIMENTAL help D.U.M.A. - Detect Unintended Memory Access A memory bound checker, with additional features.