Merge des modifications récentes opérées dans le script final d'installation de Plinn.
authorBenoît Pin <pin@cri.ensmp.fr>
Mon, 21 Oct 2013 11:23:46 +0000 (13:23 +0200)
committerBenoît Pin <pin@cri.ensmp.fr>
Mon, 21 Oct 2013 11:23:46 +0000 (13:23 +0200)

No differences found