2 Commits (fd0ff1f4540b8f0f46c6d2c9def9efd0e81d1327)

Author	SHA1	Message	Date
Mihail Stoyanov	87a978c4e8	Move private_settings.py to root mbed_settings.py. Various updates to reflect the path changes	2016-06-09 22:24:05 +01:00
Mihail Stoyanov	3d45b2cdbb	Renamed workspace_tools folder to tools	2016-06-09 21:34:53 +01:00