mirror of https://github.com/ARMmbed/mbed-os.git
				
				
				
			
				
					
						
							Rename small.json to release.json, default.json to develop.json and make it the default profile.  | 
			||
|---|---|---|
| .. | ||
| debug.json | ||
| develop.json | ||
| release.json | ||
				
					
						
							Rename small.json to release.json, default.json to develop.json and make it the default profile.  | 
			||
|---|---|---|
| .. | ||
| debug.json | ||
| develop.json | ||
| release.json | ||