make sure to cleanup .git when fetching from git
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 20 May 2010 11:09:10 +0000 (11:09 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 20 May 2010 11:09:10 +0000 (11:09 +0000)
commit1198ab21b85c133a7d3edca2100d3e547a14b931
tree810442e1309aa391f8ad0938761e6e6ce36030e1
parent6caeccf9ff5de0bdf70fc201c65c113210d8d443
make sure to cleanup .git when fetching from git
Makefile