4 Commits

Include renames

Author	SHA1	Message	Date
klemens	04d45ec03e	Don't show a leading zero for one-digit numbers	2017-11-17 17:49:13 +01:00
klemens	6b0d42a35f	Implement a slowing countdown on button request	2017-11-17 17:48:26 +01:00
klemens	795d87534f	Import the arduino sketch for the random number generation	2017-10-28 21:14:30 +02:00
klemens	6f7e173610	Import uniform_int_dist.h from gcc 7.1.0/7.2.0	2017-10-28 20:38:33 +02:00