diff -r 42650dc4e95e -r b23a09443f72 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 13:04:51 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.