> On 18 Mar 2020, at 23:13 , Nick Boldt <[email protected]> wrote:
> 
> https://download.eclipse.org/webtools/repository/releng/  fixed. 

Thanks a lot; can confirm that it works again.

> Also great to know people are still using that site. I was kind of wondering 
> if we were building useless crap. :)

I imagine quite a few projects use 
org.eclipse.wtp.releng.tools.addRepoProperties . Not useless at all :-)

Cheers,

  Thomas
_______________________________________________
cross-project-issues-dev mailing list
[email protected]
To unsubscribe from this list, visit 
https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev

Reply via email to