Re: [nescc-devel] nesC 1.3.0 beta3

[David G. <dg...@gm...>]

Should be fixed in CVS head (along with Kevin's problem) as soon as
sourceforge is happy again.

David