reading only one interrupt when it changes its value

Dependencies:   Hotboards_switches mbed

Revision:
1:af16896c2662
Parent:
0:e4efa77cbd55
Child:
2:19c591b8f837
--- a/main.cpp	Wed Mar 02 20:34:27 2016 +0000
+++ b/main.cpp	Tue Mar 15 18:40:54 2016 +0000
@@ -1,5 +1,9 @@
 
-/*
+/* Library:  Hotboards_switches.h
+ * Project:  input_change
+ * File:     main.cpp
+ * Author:   Román Valencia
+ *
  * Reads an input on pin PB_4, only when its value has been changed
  */