Skip to content

P
package_control_channel
Commit 5518d53e authored by Kevin Yank's avatar Kevin Yank
Browse files
Options

Merge pull request #1182 from tvirgl/master 

Dafny Syntax package
parents 6bdb470e acb5a76f
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
repositories.json
View file @ 5518d53e
...@@ -863,6 +863,7 @@ ...@@ -863,6 +863,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",
...@@ -1335,6 +1336,7 @@ ...@@ -1335,6 +1336,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-debugkiller": "Debug Killer", "sublime-debugkiller": "Debug Killer",
"sublime-DefaultFileType": "Default File Type", "sublime-DefaultFileType": "Default File Type",
......
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