prune old code in makefile
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 30 Oct 2013 11:04:17 +0000 (12:04 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 30 Oct 2013 11:04:17 +0000 (12:04 +0100)
commit868cc75405250d79bdb91d30ee0e1038059180cd
tree29585626d61a90b75a933b8e82df179459d15735
parent5f03119b3bc1f16e68dd805c4b5773ba1ee7148e
prune old code in makefile
Makefile