Add style ignored dirs

Signed-off-by: Fabio Utzig <[email protected]>
2026-09-26 02:37:22 +00:00 · 2020-03-13 08:45:44 -03:00
parent 7a9ad883ac
commit 4656a5a9c7
1 changed files with 4 additions and 0 deletions
@@ -0,0 +1,4 @@
+# Skip those directories while doing style checks in the CI. Do not add '/' at
+# the beginning!
+
+ext/tinycrypt