Skip to content

P
package_control_channel
Commit acb5a76f authored by Tomas Virgl's avatar Tomas Virgl
Browse files
Options

Added Syntax for Dafny

parent 0633154c
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
repositories.json
View file @ acb5a76f
...@@ -830,6 +830,7 @@ ...@@ -830,6 +830,7 @@
"https://github.com/trustmaster/sublime-cotonti", "https://github.com/trustmaster/sublime-cotonti",
"https://github.com/tstirrat/Idoc-sublime", "https://github.com/tstirrat/Idoc-sublime",
"https://github.com/TurtlePie/Sublime-ECT", "https://github.com/TurtlePie/Sublime-ECT",
"https://github.com/tvirgl/sublime-dafny",
"https://github.com/tvooo/sublime-grunt", "https://github.com/tvooo/sublime-grunt",
"https://github.com/tylerclendenin/Sublime-PowerPaste", "https://github.com/tylerclendenin/Sublime-PowerPaste",
"https://github.com/uipoet/sublime-jshint", "https://github.com/uipoet/sublime-jshint",
...@@ -1280,6 +1281,7 @@ ...@@ -1280,6 +1281,7 @@
"Sublime-Csslisible": "Csslisible", "Sublime-Csslisible": "Csslisible",
"sublime-cucumber-completion": "Cucumber Completion", "sublime-cucumber-completion": "Cucumber Completion",
"sublime-cucumber-step-finder": "Cucumber Step Finder", "sublime-cucumber-step-finder": "Cucumber Step Finder",
"sublime-dafny": "Dafny",
"sublime-dblp": "DBLP Search", "sublime-dblp": "DBLP Search",
"sublime-DefaultFileType": "Default File Type", "sublime-DefaultFileType": "Default File Type",
"sublime-django-click": "Django Click", "sublime-django-click": "Django Click",
......
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