From 7b962f013b56121318641aa0b35a5f80fc0d0dde Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Fri, 15 Feb 2008 22:22:31 +0000
Subject: Robert P. J. DAY says:

Add support for duma-2.5.12.
---
 config/debug/duma.in | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'config')

diff --git a/config/debug/duma.in b/config/debug/duma.in
index 4148f249..efc3df7e 100644
--- a/config/debug/duma.in
+++ b/config/debug/duma.in
@@ -34,6 +34,10 @@ config DUMA_V_2_5_8
     bool
     prompt "2_5_8"
 
+config DUMA_V_2_5_12
+    bool
+    prompt "2_5_12"
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -42,6 +46,7 @@ config DUMA_VERSION
     string
     default "2_5_1" if DUMA_V_2_5_1
     default "2_5_8" if DUMA_V_2_5_8
+    default "2_5_12" if DUMA_V_2_5_12
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
 
-- 
cgit v1.2.3