gitignore
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 16 Jan 2014 19:44:58 +0000 (20:44 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 16 Jan 2014 19:44:58 +0000 (20:44 +0100)
commit4c799d364c72ab4a3ffc8776e78c8a5f03dd5739
treee842f350baa797b5a1979c2034510fc1aae94d6a
parentbdf6981919bef7a8c63e1228f29fadd4cb35a06b
gitignore
system/.gitignore [new file with mode: 0644]