changeset 257 | 7613a256b9a6 |
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 Sat Jul 14 17:34:54 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.