make redo
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 23 Sep 2013 09:00:07 +0000 (11:00 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 23 Sep 2013 09:00:07 +0000 (11:00 +0200)
commitaa39a89428410a00a80230c40c93e762caedcec9
tree2310f9528d6ab2604122e729342e5fe6c44e6199
parent6ce6e49f71af03cb18f294cc0e669975c2950765
make redo
will cleanup any oldy from past conventions
Makefile