diff -r 42650dc4e95e -r 6de03d0069f1 config/debug/duma.in --- a/config/debug/duma.in Thu Jul 12 08:47:15 2007 +0000 +++ b/config/debug/duma.in Thu Jul 12 13:23:21 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.