Le 26/11/2013 14:42, Benedikt Ritter a écrit : > What's the point of using git then?
To provide a better collaboration tool for the external contributors, and thus increasing the external contributions? Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
