1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
RIOT/dist
Kaspar Schleiser 385e65f497
Merge pull request #17405 from kaspar030/can_fast_ci_run_skipcomments
tools: can_fast_ci_run.py: ignore comment changes for `\.[ch]$`
2021-12-17 09:12:59 +01:00
..
pythonlibs pythonlib/riotctrl_shell: use ping instead of ping6 2021-11-29 17:39:12 +01:00
testbed-support Revert "Remove which from shell invocations" 2021-09-03 11:27:03 +02:00
tools Merge pull request #17405 from kaspar030/can_fast_ci_run_skipcomments 2021-12-17 09:12:59 +01:00
empty.a
gdbinit-docker
Makefile
usb_id_testing usb: Warn on test-ID usage in a unified location 2020-06-30 10:51:36 +02:00