Diff: api/InterruptManager.h

Revision:

221:8276e3a4886f

Parent:

15:4892fe388435

diff -r aa774fb95d17 -r 8276e3a4886f api/InterruptManager.h
--- a/api/InterruptManager.h	Tue Jun 03 10:30:56 2014 +0100
+++ b/api/InterruptManager.h	Tue Jun 03 11:30:07 2014 +0100
@@ -13,19 +13,19 @@
  * @code
  * #include "InterruptManager.h"
  * #include "mbed.h"
- * 
+ *
  * Ticker flipper;
  * DigitalOut led1(LED1);
  * DigitalOut led2(LED2);
- * 
+ *
  * void flip(void) {
  *     led1 = !led1;
  * }
- * 
+ *
  * void handler(void) {
  *     led2 = !led1;
  * }
- * 
+ *
  * int main() {
  *     led1 = led2 = 0;
  *     flipper.attach(&flip, 1.0);
@@ -42,7 +42,7 @@
     /** Destroy the current instance of the interrupt manager
      */
     static void destroy();
-    
+
     /** Add a handler for an interrupt at the end of the handler list
      *
      *  @param function the handler to add