mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-15 09:33:50 +01:00
This is not used anywhere in RIOT, but causes conflicts with external library code. So let's just get rid of this.
This is not used anywhere in RIOT, but causes conflicts with external library code. So let's just get rid of this.