From: Arnaud Giersch Date: Thu, 26 Jul 2018 08:28:50 +0000 (+0200) Subject: Keep list of filtered libraries sorted. X-Git-Tag: v3_21~355^2~8 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f3888952ca20becaa8130ae2d59c4d1576ebf4e6?hp=f3888952ca20becaa8130ae2d59c4d1576ebf4e6;ds=sidebyside Keep list of filtered libraries sorted. ---