1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
Commit Graph

1 Commits

Author SHA1 Message Date
Martine Lenders
e69617a493
dist/tools/pr_check: rename check script to common name 2021-01-08 14:06:17 +01:00