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

trivial correction

pull/883/head
GustavWi 2015-02-04 13:58:40 +01:00
parent 61d1204e05
commit aab9677cda
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/toolchains/__init__.py
View File

@ -170,7 +170,7 @@ class Resources:
('Libraries', self.libraries),
('Hex files', self.hex_files),
('Hex files', self.bin_files),
('Bin files', self.bin_files),
):
if resources:
s.append('%s:\n ' % label + '\n '.join(resources))