From 60971cdc75b245bd100d66652e2643fccddb170c Mon Sep 17 00:00:00 2001
From: Andreas Mueller <amueller@ais.uni-bonn.de>
Date: Fri, 23 Dec 2011 20:43:03 +0100
Subject: [PATCH] FIX developers rst malformed

---
 doc/developers/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/developers/index.rst b/doc/developers/index.rst
index 1d70c1c9bc..3b5930633b 100644
--- a/doc/developers/index.rst
+++ b/doc/developers/index.rst
@@ -1,5 +1,5 @@
 .. toctree::
-   :numbered:
+
    index.rst
    performance.rst
    utilities.rst
-- 
GitLab