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

Removed another block of unused (commented) code

pull/5532/head
Clemens Mandl 2017-11-28 07:15:41 +01:00
parent 2843c9fbd7
commit 61461bcc43
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/export/nb/__init__.py
View File

@ -295,12 +295,6 @@ class GNUARMNetbeans(Exporter):
file_names = [join(tools_path, "profiles", fn) for fn in os.listdir( file_names = [join(tools_path, "profiles", fn) for fn in os.listdir(
join(tools_path, "profiles")) if fn.endswith(".json")] join(tools_path, "profiles")) if fn.endswith(".json")]
# print file_names
# profile_names = [basename(fn).replace(".json", "")
# for fn in file_names]
# print profile_names
profiles = {} profiles = {}
for fn in file_names: for fn in file_names: