On Wed, Jun 19, 2019 at 10:44 PM Chris Johns <chr...@rtems.org> wrote:
> On 19/6/19 9:17 pm, Sebastian Huber wrote:
>
> > + url = {
> https://ftp.rtems.org/pub/rtems/people/joel/RTEID-ORKID/RTEID-2.1/RTEID-2_1.pdf
> }
>
> Should these be moved to
> https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID?
>
That's fine with me.
--joel
>
> Chris
> _______________________________________________
> devel mailing list
> devel@rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
