ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix indentation

pull/9561/head
Jimmy Brisson 2019-01-30 15:33:26 -06:00
parent ee5fea417b
commit 54d6e865ec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/resources/__init__.py
View File

@ -269,7 +269,7 @@ class Resources(object):
if not any(
path.startswith(dirname(e.path)) for e in self._excluded_libs
):
to_ret.append(ref)
to_ret.append(ref)
return to_ret
def filter_by_libraries(self, library_refs):