clean tools

olliw42 · Jan 6, 2024 · 0a576a3 · 0a576a3
1 parent d5f2056
commit 0a576a3
Show file tree

Hide file tree

Showing 25 changed files with 28 additions and 2,104 deletions.
diff --git a/tools/add-issue-links.py b/tools/add-issue-links.py
diff --git a/tools/boards.py b/tools/boards.py
diff --git a/tools/build-companion-nightly.sh b/tools/build-companion-nightly.sh