minor tweaks
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 21 Sep 2013 07:26:52 +0000 (09:26 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 21 Sep 2013 07:26:52 +0000 (09:26 +0200)
commit4b934dbdd70bc52441677a5615ffb982fb0f5ca1
treed2afbd8d79f42f01fc5ebfb60cded9281e4855a7
parent4ea55661610af4ff25881eabe9c85cbf5ad62cd6
minor tweaks
Makefile