7 Aug
2009
7 Aug
'09
8:20 a.m.
On Fri, Aug 7, 2009 at 1:17 AM, Yann Papouin<yann.papouin@...400...> wrote:
For devlibs you should use the following repo:
My script does indeed do that, so I've got the right devlibs, I think.