mbed library sources

Dependents:   RPC_Serial_V_mac

Revision:
526:c320967f86b9
Parent:
514:5e2f3330d475
Child:
530:dcb248af6296
--- a/api/mbed.h	Mon Apr 27 09:45:08 2015 +0100
+++ b/api/mbed.h	Tue Apr 28 11:45:12 2015 +0100
@@ -54,6 +54,9 @@
 #include "Timer.h"
 #include "Ticker.h"
 #include "Timeout.h"
+#include "LowPowerTimeout.h"
+#include "LowPowerTicker.h"
+#include "LowPowerTimer.h"
 #include "LocalFileSystem.h"
 #include "InterruptIn.h"
 #include "wait_api.h"