config/debug/duma.in
changeset 238 6de03d0069f1
parent 236 42650dc4e95e
child 279 64742bba9b86
     1.1 --- a/config/debug/duma.in	Thu Jul 12 08:47:15 2007 +0000
     1.2 +++ b/config/debug/duma.in	Thu Jul 12 13:23:21 2007 +0000
     1.3 @@ -4,7 +4,6 @@
     1.4      bool
     1.5      prompt "D.U.M.A."
     1.6      default n
     1.7 -    depends on EXPERIMENTAL
     1.8      help
     1.9        D.U.M.A. - Detect Unintended Memory Access
    1.10        A memory bound checker, with additional features.