From a7f61d2acc4ae74025811c0a83c49a0b1163d6a3 Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Sat, 23 May 2020 01:32:02 +0200 Subject: [PATCH] Added lib WebSockets_Generic https://github.com/arduino/Arduino/issues/10241 --- registry.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/registry.txt b/registry.txt index 9926b6ac..76ee910b 100644 --- a/registry.txt +++ b/registry.txt @@ -3145,3 +3145,4 @@ https://github.com/adafruit/Adafruit_MP3.git|Contributed|Adafruit MP3 https://github.com/AnyLeaf/ph-cpp.git|Contributed|anyleaf https://github.com/RobTillaart/PinOutGroup.git|Contributed|PinOutGroup https://github.com/shashikg/PixhawkArduinoMAVLink.git|Contributed|PixhawkArduinoMAVLink +https://github.com/khoih-prog/WebSockets_Generic.git|Contributed|WebSockets_Generic