Tue, 22 May 2012 06:41:54 +0200merge
Edouard Tisserant [Tue, 22 May 2012 06:41:54 +0200] rev 744
merge

Mon, 21 May 2012 18:56:44 +0200Fix bugs with ConfigTreeNode
laurent [Mon, 21 May 2012 18:56:44 +0200] rev 743
Fix bugs with ConfigTreeNode