1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-21 12:33:49 +01:00

Merge pull request #12720 from maribu/cleanup

examples/default: Removed accidentally added file
This commit is contained in:
Marian Buschsieweke 2019-11-15 22:10:28 +01:00 committed by GitHub
commit e52c92eb42
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

Binary file not shown.