linguist-languages/data/Boogie.d.mts

Linguist languages data

declare const _: {
  name: 'Boogie'
  type: 'programming'
  color: '#c80fa0'
  extensions: ['.bpl']
  tmScope: 'source.boogie'
  aceMode: 'text'
  languageId: 955017407
  interpreters: ['boogie']
}
export default _