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