From: Jean Privat Date: Thu, 26 Jun 2014 17:15:50 +0000 (-0400) Subject: Merge: Concerns sorter X-Git-Tag: v0.6.6~13 X-Git-Url: http://nitlanguage.org Merge: Concerns sorter Just replace some sorters by an MEntity sorter. Pull-Request: #526 Reviewed-by: Jean Privat Reviewed-by: Lucas Bajolet --- 673101dd4e64e528de76d6188d10ffd1ae502a68