diff -r 42650dc4e95e -r f3c43673b29b config/debug/duma.in --- a/config/debug/duma.in Thu Jul 12 08:47:15 2007 +0000 +++ b/config/debug/duma.in Fri Jul 13 14:26:45 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.