Changed github username - ARM, Dafny (#6102)

4cbab9f7 · Tomas Virgl · FichteFoll · a07bd523 · 4cbab9f7 · 4cbab9f7
Commit 4cbab9f7 authored Jan 31, 2017 by Tomas Virgl Committed by FichteFoll Jan 31, 2017
Show whitespace changes
Inline Side-by-side

Showing with 5 additions and 4 deletions

a.json repository/a.json +2 -2

d.json repository/d.json +3 -2

No files found.
--- a/repository/a.json
+++ b/repository/a.json
@@ -1365,12 +1365,12 @@
 		},
 		{
 			"name": "ARM Assembly",
-			"details": "https://github.com/erggo/Sublime-ARM-Assembly",
+			"details": "https://github.com/tvi/Sublime-ARM-Assembly",
 			"labels": ["language syntax"],
 			"releases": [
 				{
 					"sublime_text": "*",
-					"branch": "master"
+					"tags": true
 				}
 			]
 		},

--- a/repository/d.json
+++ b/repository/d.json
@@ -47,11 +47,12 @@
 		},
 		{
 			"name": "Dafny",
-			"details": "https://github.com/erggo/sublime-dafny",
+			"details": "https://github.com/tvi/sublime-dafny",
+			"labels": ["language syntax"],
 			"releases": [
 				{
 					"sublime_text": "*",
-					"branch": "master"
+					"tags": true
 				}
 			]
 		},