diff options
| author | Michael | 2023-04-12 20:28:51 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-12 20:28:51 +0000 |
| commit | 161fef2166e851071176e2fdaa9455efb5af0a6d (patch) | |
| tree | 392a1241085ff5402bdb321bfbdbffc592b3c0d3 /runtime/queries/lean | |
| parent | fff8543b5809766608be14ee1a45f8b86f5a3de2 (diff) | |
Add DTD language support (#6644)
- Added syntax highlighting for the DTD subset of the XML spec.
- Included .dtd and .ent as common file extensions
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions