From 66dea2cc8d080c2a70dedc91a033e94a327ab70d Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Fri, 15 Feb 2019 00:06:22 +0100 Subject: [PATCH] Added lib ArduinoWebsockets https://github.com/arduino/Arduino/issues/8536 --- registry.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/registry.txt b/registry.txt index ec808479..1f5c2a63 100644 --- a/registry.txt +++ b/registry.txt @@ -2164,3 +2164,4 @@ https://github.com/uStepper/egoShieldS.git|Contributed|egoShieldS https://github.com/jackrobotics/iSYNC_BC95_Arduino.git|Contributed|iSYNC_BC95_Arduino https://github.com/IoTWay/IoTWay-Arduino.git|Contributed|IoTWay https://github.com/RexMORE/MOREbot_Library.git|Contributed|MOREbot Library +https://github.com/gilmaimon/ArduinoWebsockets.git|Contributed|ArduinoWebsockets