Oct. 23, 2013
1:53 p.m.
On 2013-10-23, at 13:47, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:
On Oct 22, 2013, at 9:34 AM, Camillo Bruni <camillobruni@gmail.com> wrote:
I'll remove the script again, this is silly duplication that is going to be outdated very quickly. It points already to the jenkins job, this is where everything happens.
so I will readd it. Camillo can you respect people that do not think like you?
well respect at least markdown and make it look properly formatted...