reading only one interrupt when it changes its value

Dependencies:   Hotboards_switches mbed

Revision:
2:19c591b8f837
Parent:
1:af16896c2662
--- a/main.cpp	Tue Mar 15 18:40:54 2016 +0000
+++ b/main.cpp	Tue Mar 15 18:47:14 2016 +0000
@@ -1,8 +1,10 @@
 
-/* Library:  Hotboards_switches.h
- * Project:  input_change
- * File:     main.cpp
- * Author:   Román Valencia
+/* Library:     Hotboards_switches.h
+ * Project:     input_change
+ * File:        main.cpp
+ * Author:      Diego Perez
+ * Modified by: Roman Valencia 
+ * Contact:     http://www.hotboards.org/
  *
  * Reads an input on pin PB_4, only when its value has been changed
  */