Anatoly Marinescu fc45cc1772 fix error vor 13 Jahren
..
Closure.php fc45cc1772 fix error vor 13 Jahren
Nested.php e34b021558 [Tree] ensure remove operation handles node synchronization well, closes #229 vor 13 Jahren