mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-16 10:03:50 +01:00
minor error in sed expression
This commit is contained in:
parent
a02e00b68b
commit
8f16f3520a