This repository contains (rudimentary) syntax highlighting for DroppedText, for use on GitHub.

To make a change to this grammar:

• change DroppedText.yml accordingly (see the documentation of the grammar format),
• test your changes on Lightshow,
• generate the DroppedText.tmLanguage file 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)