linguist-languages/data/Boogie.mjs

Linguist languages data

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