You've already forked Epicnabbo-Catalogus-Updated-Daily
Remco
15 lines
219 B
JSON
15 lines
219 B
JSON
{
|
|
"name": "Dafny",
|
|
"type": "programming",
|
|
"color": "#FFEC25",
|
|
"extensions": [
|
|
".dfy"
|
|
],
|
|
"interpreters": [
|
|
"dafny"
|
|
],
|
|
"tmScope": "text.dfy.dafny",
|
|
"aceMode": "text",
|
|
"languageId": 969323346
|
|
}
|