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

Merge branch 'master' of https://github.com/mbedmicro/mbed

pull/207/head
Przemek Wirkus 2014-03-11 15:01:08 +00:00
parent dc1e190d9e ebf51d732f
commit c8283ff485
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/build_release.py
View File

@ -47,7 +47,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
('NUCLEO_F401RE', ('ARM', 'uARM')),
('NUCLEO_F030R8', ('ARM', 'uARM')),
# ('NRF51822', ('ARM', )),
('NRF51822', ('ARM', )),
)