linguist-languages/data/Dafny.d.ts

Linguist languages data

declare const _: {
  name: 'Dafny'
  type: 'programming'
  color: '#FFEC25'
  extensions: ['.dfy']
  tmScope: 'text.dfy.dafny'
  aceMode: 'text'
  languageId: 969323346
  interpreters: ['dafny']
}
export = _