>
> Ok, je met HEAD en majuscule. Si quelqu'un a une meilleure idée, qu'il
> nous en fasse part,
>

+1

HEAD en majuscule est plus une solution de contournement qu'un "fix"
définitif.

-- 
Romain PELISSE,
"The trouble with having an open mind, of course, is that people will insist
on coming along and trying to put things in it" -- Terry Pratchett
http://belaran.eu/

Répondre à