Emilio Monti / cmsis_rtos_basic_export
Revision:
0:f23656783084
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/export.bld	Mon May 14 14:15:01 2012 +0000
@@ -0,0 +1,1 @@
+http://mbed.org/users/mbed_official/code/mbed/builds/737756e0b479