Merge remote-tracking branch 'origin/geni-v3' into geni-v3
authorroot <root@devel.pl.sophia.inria.fr>
Thu, 16 Aug 2012 21:25:24 +0000 (23:25 +0200)
committerroot <root@devel.pl.sophia.inria.fr>
Thu, 16 Aug 2012 21:25:24 +0000 (23:25 +0200)
commit8196a82f43a245f7508167c62fbf6976d4bb478f
treea80ce0e84907e2ee085b95d20429f3c44baac9cd
parentdb5e2034e15c72434fdf67ee40d32b980f971705
parent11d6fde6e6553c9b5ff2f46ed304bf68b717e1dc
Merge remote-tracking branch 'origin/geni-v3' into geni-v3