From e980feeb93eba45ae32f8f4322896f90f740eda8 Mon Sep 17 00:00:00 2001 From: ArduinoBot Date: Wed, 6 Mar 2024 18:59:00 +0000 Subject: [PATCH] Add submission # 4174 https://github.com/arduino/library-registry/pull/4174 --- registry.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/registry.txt b/registry.txt index d6fe2de5..5c107865 100644 --- a/registry.txt +++ b/registry.txt @@ -6848,3 +6848,4 @@ https://github.com/ALICHOUCHENE/Qmi8658c.git|Contributed|Qmi8658c https://github.com/x-radio/EEBoom.git|Contributed|EEBoom https://github.com/zumatt/Supabase-ESP32.git|Contributed|Supabase-ESP32 https://github.com/ojw5014/OpenJigWare_A.git|Contributed|OpenJigWare_A +https://github.com/RobTillaart/float16ext.git|Contributed|float16ext