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

Merge pull request #13542 from miri64/auto_init/enh/IS_USED

auto_init: some more cleanup and unification
This commit is contained in:
benpicco 2020-03-04 00:25:38 +01:00 committed by GitHub
commit 0c8ddd6620
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load Diff