config/debug/duma.in
changeset 1844 4d6a56579d9d
parent 1615 50b25816f5bb
child 2444 896cb0d36c1a
     1.1 --- a/config/debug/duma.in	Wed Oct 28 19:15:50 2009 +0100
     1.2 +++ b/config/debug/duma.in	Fri Mar 05 18:19:25 2010 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     1.5 +# depends on ! BACKEND
     1.6  
     1.7  config DEBUG_duma
     1.8      help