should have been done by module-tag at the time we moved to 4.2
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 14 Jan 2008 14:40:38 +0000 (14:40 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 14 Jan 2008 14:40:38 +0000 (14:40 +0000)
commit788b580c6952382d6db28e644ac80c1d7f4bd8f7
tree8768c7a812063c7fc3e4edf70414d72f45279779
parent622541b84ce8280183701c35ae22572ecb8f72d4
should have been done by module-tag at the time we moved to 4.2
onelab-tags-4.2.mk