SEU_G10 / Mbed 2 deprecated rtos_1

rtos1

Dependencies:   mbed-rtos mbed

Fork of rtos_basic by mbed official

Diff: mbed-rtos.lib

Revision:
5:13d334f4998d
Parent:
4:de886240a4de
Child:
6:209f4db62daf
diff -r de886240a4de -r 13d334f4998d mbed-rtos.lib
--- a/mbed-rtos.lib	Fri Nov 23 10:17:39 2012 +0000
+++ b/mbed-rtos.lib	Tue Apr 30 10:51:40 2013 +0000
@@ -1,1 +1,1 @@
-http://mbed.org/users/mbed_official/code/mbed-rtos/#80173c64d05d
+https://mbed.org/users/mbed_official/code/mbed-rtos/#db1fc233faa9