From: Jean Privat Date: Wed, 23 Sep 2015 18:20:22 +0000 (-0400) Subject: Merge: Beef up OrderedTree API X-Git-Tag: v0.7.8~9 X-Git-Url: http://nitlanguage.org Merge: Beef up OrderedTree API This add services to the class OrderedTree Pull-Request: #1732 Reviewed-by: Lucas Bajolet Reviewed-by: Alexandre Terrasa --- 5e1eef832f39e4477b79c62552f462ce41b36382