Merge pull request #4207 from devottam/master

Name is supposed to be `Midnight` not `Mignight`

Merge pull request #4207 from devottam/master
Name is supposed to be `Midnight` not `Mignight`
fdf97ae8 · FichteFoll · 86d3d92b · fba7ef36 · fdf97ae8
Commit fdf97ae8 authored Mar 14, 2015 by FichteFoll
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

t.json repository/t.json +2 -1

No files found.
--- a/repository/t.json
+++ b/repository/t.json
@@ -729,7 +729,8 @@
 			]
 		},
 		{
-			"name": "Theme - Mignight",
+			"name": "Theme - Midnight",
+			"previous_names": ["Theme - Mignight"],
 			"details": "https://github.com/devottam/midnight",
 			"labels": ["theme"],
 			"releases": [