[PATCH] 5: Use a specific RTEMS tools version

Chris Johns chrisj at rtems.org
Tue Apr 17 10:26:08 UTC 2018

On 17/4/18 8:14 pm, Chris Johns wrote:
> Also I do not want to hack around on dispatch.rtems.org to update this file.

This link seems to work ...


Must be a feature of cgit.


More information about the devel mailing list