mirror of http://git.cern.ch/pub/gaudi