From 0a986c2d542f5945d2647a35ec7df149f8375b1a Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Fri, 1 Mar 2019 10:09:23 +0100
Subject: [PATCH] Added lib ps2dev

https://github.com/arduino/Arduino/issues/8561
---
 registry.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/registry.txt b/registry.txt
index 2fea136b..0168d74d 100644
--- a/registry.txt
+++ b/registry.txt
@@ -2177,3 +2177,4 @@ https://github.com/yurilopes/SPIFFSIniFile.git|Contributed|SPIFFSIniFile
 https://github.com/ssilverman/SLIPStream.git|Contributed|SLIPStream
 https://github.com/HelTecAutomation/Heltec_ESP8266.git|Contributed|Heltec ESP8266 Dev-Boards
 https://github.com/jandrassy/ArduinoOTA.git|Contributed|ArduinoOTA
+https://github.com/harvie/ps2dev.git|Contributed|ps2dev