Re: [PPL-devel] the latest ppl git configure script has something wrong

于 2011/8/10 1:06, Roberto Bagnara 写道:

what do you mean by "ppl git at 6.10"?

Hi, Roberto

I mean latest ppl git is master branch. 6.10 is ppl git at the time of June 10th.

Thanks.