From 2b2aa898f6417ddaf5ea9c10f7181390e1d61ba3 Mon Sep 17 00:00:00 2001 From: Joel Dahl Date: Wed, 15 Feb 2006 12:04:57 +0000 Subject: [PATCH] Use navdevelopers instead of navdocs. --- en/projects/ideas/index.sgml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/en/projects/ideas/index.sgml b/en/projects/ideas/index.sgml index 68c75de724..2c03166e58 100644 --- a/en/projects/ideas/index.sgml +++ b/en/projects/ideas/index.sgml @@ -1,8 +1,8 @@ - + - %navincludes; + %navincludes; %includes; %developers; ]>