mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-28 07:51:19 +01:00
Ran the `fix_headers.sh` to fix the vendor header files and removed the no longer needed work around for them.
Ran the `fix_headers.sh` to fix the vendor header files and removed the no longer needed work around for them.