From ee232b8901151e7371f77b099be6894bfcfad792 Mon Sep 17 00:00:00 2001 From: John Mandereau Date: Mon, 26 Nov 2007 21:24:49 +0100 Subject: [PATCH] Fix developers resources links Thanks to Jean-Charles M. for the report. --- Documentation/devel.html.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Documentation/devel.html.in b/Documentation/devel.html.in index 078b184496..3ffe05b3f1 100644 --- a/Documentation/devel.html.in +++ b/Documentation/devel.html.in @@ -71,7 +71,7 @@