more stuff to gitignore
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 25 Mar 2013 05:35:51 +0000 (06:35 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 25 Mar 2013 05:35:51 +0000 (06:35 +0100)
commit0cbc9f638620bacbb23e562a3d7ac7eec966ea5d
tree7b82d0d875294daf797e6ef9c68680698d7de2c2
parentdc37a5e73da39760994906a2bbdb118b8eadffc6
more stuff to gitignore
.gitignore