Ichi Kanaya / Mbed 2 deprecated midi-timer

https://github.com/kanaya/midi-timer

Dependencies:   MIDI mbed-rtos mbed

Diff: mbed-rtos.lib

Revision:
0:12da9c671126
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mbed-rtos.lib	Mon Oct 14 05:41:11 2013 +0000
@@ -0,0 +1,1 @@
+https://mbed.org/users/mbed_official/code/mbed-rtos/#ee87e782d34f