Commit 727d5a55 authored by Andreas Stenmark's avatar Andreas Stenmark

Add MiniZinc Language

parent 95656f08
......@@ -1041,6 +1041,18 @@
}
]
},
{
"name": "MiniZinc Language",
"details": "https://github.com/astenmark/sublime-mzn",
"author": "Andreas Stenmark",
"labels": ["minizinc", "language", "mzn", "syntax", "highlighting", "build", "system"],
"releases": [
{
"sublime_text": "*",
"tags": true
}
]
},
{
"name": "MinkExtension default feature step completions",
"details": "https://github.com/Stubbs/sublime-minkextension",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment