Skip to content

P
package_control_channel
Commit af7d3ff6 authored by Ihor Oleksandrov's avatar Ihor Oleksandrov Committed by FichteFoll
Browse files
Options

Add DA CS package (#6630)

parent 810565dc
Hide whitespace changes
Inline Side-by-side
Showing with 13 additions and 0 deletions
repository/d.json
View file @ af7d3ff6
...@@ -45,6 +45,19 @@ ...@@ -45,6 +45,19 @@
} }
] ]
}, },
{
"name": "DA CS",
"details": "https://github.com/ihodev/sublime-da-cs",
"labels": ["popular", "customizable", "color scheme"],
"readme": "https://raw.githubusercontent.com/ihodev/sublime-da-cs/master/pkgctrl/README.md",
"issues": "https://github.com/ihodev/sublime-da-ui/issues",
"releases": [
{
"sublime_text": ">=3143",
"tags": true
}
]
},
{ {
"name": "Dafny", "name": "Dafny",
"details": "https://github.com/tvi/sublime-dafny", "details": "https://github.com/tvi/sublime-dafny",
......
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