diff options
| author | Carlos <carlos.santiago.diaz@gmail.com> | 2019-07-20 01:08:22 -0500 |
|---|---|---|
| committer | Carlos <carlos.santiago.diaz@gmail.com> | 2019-07-20 01:08:22 -0500 |
| commit | d1fecf5025958ac4c2447a3757ab03a0bfdebdbf (patch) | |
| tree | 6712513a1028eea4a7992a64bad9010f9634605a /tools | |
| parent | 06cb075025c70647155e2db7cc3f2d825840d4b6 (diff) | |
Fix missing module sh and remove unused module re
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/travis_new_boards_check.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/travis_new_boards_check.py b/tools/travis_new_boards_check.py index f4492830d..01751b4b9 100644 --- a/tools/travis_new_boards_check.py +++ b/tools/travis_new_boards_check.py @@ -2,7 +2,6 @@ import sys import os -import re import json import build_board_info |