diff options
| author | Blaž Hrastnik | 2021-03-16 04:45:32 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-03-16 04:47:06 +0000 |
| commit | 71f899cb5b7753115b2e16ca115b4f376c4b6aee (patch) | |
| tree | 657145b2f4985a6ed44576028d7fdc89d3055b90 /.github/workflows | |
| parent | 80eca5c32f2a9f3345a2449c8620f86423061d33 (diff) | |
syntax: Highlight using ropes, avoiding dumping whole doc to string.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions