update README
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Jun 2013 07:25:19 +0000 (09:25 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Jun 2013 07:25:19 +0000 (09:25 +0200)
commit155a7a1afeb6326353fe2081a362e52e2fec106f
tree16741f8163637b09b6f9097c8e79febc54d76e36
parent982f40f81b7baae030e10fccd4516f087c07a002
update README
README