>>Just that the ATS version looks like it is still 0.2.10 instead of 0.2.12.
If you could tell me how this happened, I would like to fix it. Thanks!
>>Talking about Contrib, I wondered if the one from GitHub and the one from
SourceForge could get different names, as they are not interchangeable
Le vendredi 2 décembre 2016 21:25:06 UTC+1, gmhwxi a écrit :
>
>
> I think I have fixed the issue. Please delete ATS2-contrib and
> try again.
>
Indeed, it works now (with Contrib from trunk).
Just that the ATS version looks like it is still 0.2.10 instead of 0.2.12.
Talking about Contrib, I