fix documentation bug found by Mathieu Lemoine
commitf307d7bebdc04d508ff74f9e36557246009aa6fa
authorHans Huebner <hans.huebner@gmail.com>
Mon, 13 Aug 2012 15:23:13 +0000 (13 17:23 +0200)
committerHans Huebner <hans.huebner@gmail.com>
Mon, 13 Aug 2012 15:23:13 +0000 (13 17:23 +0200)
tree56b7700bee2aa2e661e1e0595d35e0e19b141ba7
parentfa5d6e13a6f9a152b611f8749a5342ea9a9d0eb4
fix documentation bug found by Mathieu Lemoine
doc/index.xml