diff options
| author | Paul Selkirk <paul@psgd.org> | 2016-04-14 18:50:38 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2016-04-14 18:50:38 -0400 |
| commit | 4a38cf6f44d1c013cbe794093ea6c5b50337431a (patch) | |
| tree | 148201449b481794ff839cd15d335f40e0f91c9d /libraries/mbed/README.txt | |
| parent | 79b1ba7104dba52dbfacf11a07305702889f440b (diff) | |
import mbed rtos library
Diffstat (limited to 'libraries/mbed/README.txt')
| -rw-r--r-- | libraries/mbed/README.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libraries/mbed/README.txt b/libraries/mbed/README.txt new file mode 100644 index 0000000..b68245c --- /dev/null +++ b/libraries/mbed/README.txt @@ -0,0 +1,2 @@ +Imported from https://github.com/mbedmicro/mbed.git +tag mbed_lib_rev117, commit 58c0b22c8c0a1f43dc05df76287cf0a298e0cad5 |