added Clafer Tools package

6033ab2c · Michal Antkiewicz · c21140da · 6033ab2c
Commit 6033ab2c authored Oct 16, 2014 by Michal Antkiewicz
Show whitespace changes
Inline Side-by-side

Showing with 12 additions and 0 deletions

c.json repository/c.json +12 -0

No files found.
--- a/repository/c.json
+++ b/repository/c.json
@@ -575,6 +575,18 @@
 				}
 			]
 		},
+		{
+			"name": "Clafer Tools",
+			"details": "https://github.com/gsdlab/ClaferToolsST",
+			"homepage": "https://github.com/gsdlab/ClaferToolsST",
+			"labels": ["Clafer", "Compiler", "Instance Generator" ],
+			"releases": [
+				{
+					"sublime_text": "*",
+					"details": "https://github.com/gsdlab/ClaferToolsST/tree/master"
+				}
+			]
+		},
 		{
 			"name": "Clang Format",
 			"details": "https://github.com/rosshemsley/SublimeClangFormat",