Pushbutton (Pushbutton.h)

The Pushbutton library provides a set of functions that are useful for detecting and debouncing pushbutton presses. While the most obvious application of this library is to work with the Zumo Shield�s user pushbutton on digital pin 12, this library can be used as a general-purpose library for interfacing many types of buttons and switches to an Arduino, even without a Zumo Shield. This library comes with an example sketch demonstrating its use. More info in https://github.com/pololu/zumo-shield