From: Karim Barkati <karimbarkati@gmail.com>
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.mines-paristech.fr/git/Faustine.git/commitdiff_plain/509aeb980ddb8825bfbbb59f060bbca48918fac8?hp=9127d89ef6f731c5e93f8d59a3dd2dd1b3c73e07

Merge branch 'master' of https://scm.cri.ensmp.fr/git/Faustine

Conflicts:
	INSTALL.txt
---