Debounce Library

Hi mem

I am using Linux and therefore can not use Arduino 12.

I will make the modifications once Arduino 12 becomes available since I have a few libraries to modify.