tree 18807bb14b1b5efdda43afe687f0b70350f27416
parent d9b4117280f7f34b5a8f59d7288445ac02f04f9d
author Francis Galiegue <fgaliegue@gmail.com> 1358990660 +0100
committer Francis Galiegue <fgaliegue@gmail.com> 1358991294 +0100

ArrayNode: make _children final

Simplifies quite a lot of code in the process.