cleaning up
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 4 May 2014 06:32:31 +0000 (08:32 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 4 May 2014 06:32:31 +0000 (08:32 +0200)
commit49dd7c72fd08d82f0f2b650e5ec9f8834541b4ec
treefef516eb1c4491993951534e17e99d36f0bedcc7
parent74d0c3bc711fe8c7d2baa20d6e46c598b22c9fda
cleaning up
.gitignore
TODO [deleted file]