Added Georgify package details (#6591)

5bbd7a8c · Shivansh Dhar · FichteFoll · 8b6b26a8 · 5bbd7a8c
Commit 5bbd7a8c authored Sep 19, 2017 by Shivansh Dhar Committed by FichteFoll Sep 19, 2017
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 0 deletions

g.json repository/g.json +11 -0

No files found.
--- a/repository/g.json
+++ b/repository/g.json
@@ -265,6 +265,17 @@
 				}
 			]
 		},
+		{
+			"name":"Georgify",
+			"details":"https://github.com/shividhar/Georgify",
+			"labels":["correctness proofs", "uwaterloo"],
+			"releases":[
+				{
+					"sublime_text":"*",
+					"tags": true
+				}
+			]
+		},
 		{
 			"name": "Ggu",
 			"details": "https://github.com/hardikj/GGU-SL",