This repository contains (rudimentary) syntax highlighting for DroppedText, for use on GitHub.
To make a change to this grammar:
- change
DroppedText.ymlaccordingly (see the documentation of the grammar format), - test your changes on Lightshow,
- generate the
DroppedText.tmLanguagefile using this script, - commit and push your changes (or send a pull request to this repository),
- wait patiently for the next release and deployment of linguist on GitHub, the changes here will be taken into account automatically.
Modified from: https://github.com/agda/agda-github-syntax-highlighting/blob/master/README.md
File version: 1 (2022, Saturday, February 19th at 5:13 pm)