1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

2 Commits

Author SHA1 Message Date
Marian Buschsieweke
7868963cc3 dist/tools/doccheck: Fix grep warning
Fix `grep: warning: stray \ before -` warnings.
2023-02-02 12:47:13 +01:00
3cb3976ae0 dist/tools/doccheck: add create_pattern.sh 2021-10-29 12:21:39 +02:00