5 Commits (6d73dd338b54fbc3b32430afaa10e36a4a8f5884)

Author	SHA1	Message	Date
Mihail Stoyanov	42c62abed1	Further changes to reflect workspace_tools to tools rename	2016-06-09 21:40:54 +01:00
Bogdan Marinescu	b74e0c8b39	mbed-tools package improvements ... - install all the needed components - use a customized version of private_settings.py. Projects using mbed-tools will be able to use mbed_settings.py instead of private_settings.py. This ensures compatibility with the current structure.	2013-12-18 16:03:27 +02:00
Paris Kasidiaris	d2318804f1	Restructuring	2013-10-22 12:13:04 +01:00
Paris Kasidiaris	69d823fcc1	Issued version 0.1.5	2013-10-21 14:49:00 +01:00
Paris Kasidiaris	a826819ae9	Version 0.1.4	2013-10-21 12:01:53 +01:00