fix splitting of GITPATH - was ALWAYS pulling master no matter which tag was mentioned..
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 23 Jun 2010 20:36:34 +0000 (22:36 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 23 Jun 2010 20:36:34 +0000 (22:36 +0200)
commit21c7f7fd7dfe686070392e6a967494655ca3bc3a
treee287c58a45cfa4737e1d55048196e773cddbdc86
parent6e900de564a5d64131551d8bf355d3efcf0af8d8
fix splitting of GITPATH - was ALWAYS pulling master no matter which tag was mentioned..
Makefile