Ok. Just push it then. On Thu, Sep 8, 2022, 8:05 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote:
> On 08/09/2022 15:03, Joel Sherrill wrote: > > Ok. Did it get removed from anywhere? > > No, the header files are generated by a script and I improved the script > input a bit. > > -- > embedded brains GmbH > Herr Sebastian HUBER > Dornierstr. 4 > 82178 Puchheim > Germany > email: sebastian.hu...@embedded-brains.de > phone: +49-89-18 94 741 - 16 > fax: +49-89-18 94 741 - 08 > > Registergericht: Amtsgericht München > Registernummer: HRB 157899 > Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler > Unsere Datenschutzerklärung finden Sie hier: > https://embedded-brains.de/datenschutzerklaerung/ >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
