1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-27 15:31:17 +01:00
Gaëtan Harter ef13d91bed
tools/check: use RIOTTOOLS variable
Follow up to #9067 and part of #8821
2018-05-14 15:47:53 +02:00
..
2018-05-14 15:47:53 +02:00