# HG changeset patch # User "Yann E. MORIN" # Date 1184246601 0 # Node ID 6de03d0069f1bf70e4dabad1309eebbd7c16530f # Parent 131ee309e740625a177ec45e7ef994fa3f15ea04 Unmark D.U.M.A. as being EXPERIMENTAL. diff -r 131ee309e740 -r 6de03d0069f1 config/debug/duma.in --- a/config/debug/duma.in Thu Jul 12 13:22:26 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.