From 6b2941e5ac7f4ffafe96883dfc64674d2cb0bb09 Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Tue, 30 Jun 2020 11:41:28 +0200 Subject: [PATCH] Added lib DEVRANDOM https://github.com/arduino/Arduino/issues/10428 --- registry.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/registry.txt b/registry.txt index 529fd7df..efe61037 100644 --- a/registry.txt +++ b/registry.txt @@ -3235,3 +3235,4 @@ https://github.com/RobTillaart/I2CKeyPad.git|Contributed|I2CKeyPad https://github.com/0xCAFEDECAF/VanBus.git|Contributed|VanBus https://gitlab.com/rhombio/rhio-LIS2HH12.git|Contributed|rhio-LIS2HH12 https://github.com/plenprojectcompany/PLEN5Stack.git|Contributed|PLEN5Stack +https://github.com/RobTillaart/DEVRANDOM.git|Contributed|DEVRANDOM