Commit 41c57164 authored by FichteFoll's avatar FichteFoll

Merge pull request #4140 from JDevlieghere/master

Added NuSMV Syntax
parents 40132556 869f537e
...@@ -568,6 +568,17 @@ ...@@ -568,6 +568,17 @@
} }
] ]
}, },
{
"name": "NuSMV Syntax",
"details": "https://github.com/JDevlieghere/Sublime-NuSMV",
"labels": ["language syntax"],
"releases": [
{
"sublime_text": "*",
"tags": true
}
]
},
{ {
"name": "Nyan Cat", "name": "Nyan Cat",
"details": "https://github.com/wiggin15/SublimeNyan", "details": "https://github.com/wiggin15/SublimeNyan",
......
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