A debouncing InterruptIn wrapper

Changes

RevisionDateWhoCommit message
2:c353357a97e4 2012-02-07 evwijk First public release default tip
1:e806603f0088 2012-02-07 evwijk (none)
0:2e999fcd4c7b 2012-02-06 evwijk (none)