Merge remote-tracking branch 'origin/geni-v3' into geni-v3
authorroot <root@devel.pl.sophia.inria.fr>
Thu, 23 Aug 2012 18:58:24 +0000 (20:58 +0200)
committerroot <root@devel.pl.sophia.inria.fr>
Thu, 23 Aug 2012 18:58:24 +0000 (20:58 +0200)
commitca48929768093b728c44c51911516df9fb73c8bb
treee2b2dd65ea27a7a4a9278f10bd7ec3df9320ca23
parentc9084e2d6a9484293c0cee431784afc342ab4403
parentc15c2b3202c7a796dc3bd583996b2d7ebb8995af
Merge remote-tracking branch 'origin/geni-v3' into geni-v3