ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
1,324 Commits
52 Branches
336 Tags
624 MiB
Commit Graph

4 Commits (0f91f3bf0b22ecbd6d64d4f0eafc186b871a0cc6)

Author SHA1 Message Date
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