From 19759e49f08b9c08c7d8f3b47a270c09cc9c1e5b Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Mon, 23 Apr 2018 15:04:46 +0200 Subject: [PATCH] Added lib PetriNetLib https://github.com/arduino/Arduino/issues/7478 --- registry.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/registry.txt b/registry.txt index 49c3dba5..8a5460a6 100644 --- a/registry.txt +++ b/registry.txt @@ -1621,3 +1621,4 @@ https://github.com/Protocentral/ProtoCentral_fdc1004_breakout.git|Contributed|Pr https://github.com/amperka/TroykaGPS.git|Contributed|TroykaGPS https://github.com/ssilverman/libCBOR.git|Contributed|libCBOR https://github.com/sparkfun/SparkFun_MS5637_Arduino_Library.git|Contributed|SparkFun MS5637 Barometric Pressure Library +https://github.com/luisllamasbinaburo/Arduino-PetriNet.git|Contributed|PetriNetLib