From: Karim Barkati Date: Tue, 17 Sep 2013 14:40:41 +0000 (+0200) Subject: Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/commitdiff_plain/509aeb980ddb8825bfbbb59f060bbca48918fac8?hp=9127d89ef6f731c5e93f8d59a3dd2dd1b3c73e07 Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine Conflicts: INSTALL.txt ---