diff options
| author | JF002 <JF002@users.noreply.github.com> | 2020-05-16 14:15:38 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-16 14:15:38 (GMT) |
| commit | d58f57b1b5a616debf893f209f1d96cac101489e (patch) | |
| tree | 9df19606a2615586bb533d39fb42c84be8774092 /src/libs/mynewt-nimble/.style_ignored_dirs | |
| parent | 24a1f87a78584d3b67f07ea7972ea0d8e1f8167c (diff) | |
| parent | d6c6ac4cf5801e17caf7bfc0878423703ed0413b (diff) | |
Merge pull request #30 from JF002/nimble
Nimble
Diffstat (limited to 'src/libs/mynewt-nimble/.style_ignored_dirs')
| -rw-r--r-- | src/libs/mynewt-nimble/.style_ignored_dirs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libs/mynewt-nimble/.style_ignored_dirs b/src/libs/mynewt-nimble/.style_ignored_dirs new file mode 100644 index 0000000..4be8efa --- /dev/null +++ b/src/libs/mynewt-nimble/.style_ignored_dirs @@ -0,0 +1,4 @@ +# Skip those directories while doing style checks in the CI. Do not add '/' at +# the beginning! + +ext/tinycrypt |