Merge c4e3bdc into 9094179

bblanchon · Mar 2, 2021 · 5a8d89a · 5a8d89a
2 parents 9094179 + c4e3bdc
commit 5a8d89a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mbedignore b/.mbedignore
@@ -4,3 +4,4 @@ fuzzing/
 scripts/
 test/
 third-party/
+extras/