On Wed, 5 Nov 2008, Julien Bonjean wrote: > Hi, GIT repository doesn't seems to be up-to-date, is it normal ? Where can I > find currently used repository ? Thank you. Unfortunately, the git repository is currently offline. It should come back online sometime in the near future. Paul