add manifold, and move sfa towards the end as it gets packaged
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 22 Apr 2013 15:05:55 +0000 (17:05 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 22 Apr 2013 15:05:55 +0000 (17:05 +0200)
commit1e912acfd2bf1df227122d2e6f9dd404ea8d53ff
treeb3431cace40f7d0fabee86a58f5d0030ce06617a
parent84e164e69d6673828b191db780d9d41e3a63a944
add manifold, and move sfa towards the end as it gets packaged
separately anyway
onelab-tags.mk
onelab.mk