previous_names key for Deviot (#6569)

03e91584 · gepd · FichteFoll · 6a07fce4 · 03e91584
Commit 03e91584 authored Sep 08, 2017 by gepd Committed by FichteFoll Sep 08, 2017
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

d.json repository/d.json +1 -0

No files found.
--- a/repository/d.json
+++ b/repository/d.json
@@ -491,6 +491,7 @@
 		},
 		{
 			"name": "Deviot (Arduino IDE)",
+			"previous_names": ["Deviot"],
 			"details": "https://github.com/gepd/Deviot",
 			"donate": "https://gratipay.com/~gepd/",
 			"labels": ["build system", "ide", "arduino", "iot", "platformio"],