From: Arnaud Giersch Date: Mon, 11 Feb 2013 15:08:36 +0000 (+0100) Subject: Be more precise in platform description. X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/f622eef95fe3973773527fa3260b7563a498ec60?ds=inline;hp=f622eef95fe3973773527fa3260b7563a498ec60 Be more precise in platform description. ---