rename adopt-master into adopt-tag, as it can now adopt a specific tag
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 29 Aug 2011 08:01:59 +0000 (10:01 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 29 Aug 2011 08:01:59 +0000 (10:01 +0200)
commitc95adbd3a9fed07df8d9ddd828977116fae43801
tree3d96d0f9eb5344355d4d0ade29b712c5ca0f10eb
parent7c7785793c107c04e216b84cd7a67b087f64f681
rename adopt-master into adopt-tag, as it can now adopt a specific tag
adopt-tag [moved from adopt-master with 100% similarity]
module-tools.py