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

Sync to mbed-dev instead of mbed-src

pull/1366/head
Bogdan Marinescu 2015-10-01 15:34:42 +03:00
parent fbdd223f59
commit d3fdca770f
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/synch.py
View File

@ -47,7 +47,7 @@ commit_msg = ''
# Tuple data: (repo_name, list_of_code_dirs, [team]) # Tuple data: (repo_name, list_of_code_dirs, [team])
# team is optional - if not specified, the code is published under mbed_official # team is optional - if not specified, the code is published under mbed_official
OFFICIAL_CODE = ( OFFICIAL_CODE = (
("mbed-src" , "mbed"), ("mbed-dev" , "mbed"),
("mbed-rtos", "rtos"), ("mbed-rtos", "rtos"),
("mbed-dsp" , "dsp"), ("mbed-dsp" , "dsp"),
("mbed-rpc" , "rpc"), ("mbed-rpc" , "rpc"),