mirror of https://github.com/ARMmbed/mbed-os.git
Whitespace clean up
parent
4e514ae3c5
commit
a8032db48a
|
|
@ -127,7 +127,7 @@ def extract_profile(parser, options, toolchain, fallback="develop"):
|
|||
profiles.append(contents)
|
||||
|
||||
return profiles
|
||||
|
||||
|
||||
def extract_mcus(parser, options):
|
||||
try:
|
||||
if options.custom_targets_directory:
|
||||
|
|
|
|||
Loading…
Reference in New Issue