From 956181820ef5a916da3a870fdb51f1add0ac8bfa Mon Sep 17 00:00:00 2001 From: Alexander Entinger Date: Mon, 18 Jul 2022 09:47:14 +0200 Subject: [PATCH] Publish Arduino_Threads. --- repositories.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/repositories.txt b/repositories.txt index a6b21a686..fa6f9d402 100644 --- a/repositories.txt +++ b/repositories.txt @@ -5048,3 +5048,4 @@ https://github.com/electricui/electricui-embedded https://github.com/stm32duino/LPS22DF https://github.com/Megunolink/FileManager https://github.com/chrmlinux/rssRead +https://github.com/arduino-libraries/Arduino_Threads