mbed library sources

Fork of mbed-src by mbed official

Revision:
221:8276e3a4886f
Parent:
127:ce7cebc0511f
--- a/common/board.c	Tue Jun 03 10:30:56 2014 +0100
+++ b/common/board.c	Tue Jun 03 11:30:07 2014 +0100
@@ -30,7 +30,7 @@
     gpio_t led_3; gpio_init_out(&led_3, LED3);
     gpio_t led_4; gpio_init_out(&led_4, LED4);
 #endif
-    
+
     while (1) {
 #if   (DEVICE_ERROR_RED == 1)
         gpio_write(&led_red, 1);
@@ -41,7 +41,7 @@
         gpio_write(&led_3, 0);
         gpio_write(&led_4, 1);
 #endif
-        
+
         wait_ms(150);
 
 #if   (DEVICE_ERROR_RED == 1)
@@ -53,7 +53,7 @@
         gpio_write(&led_3, 1);
         gpio_write(&led_4, 0);
 #endif
-        
+
         wait_ms(150);
     }
 }