Skip to content

feat: update textmate grammar#682

Merged
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:mhuisi/update-textmate-grammar
Oct 20, 2025
Merged

feat: update textmate grammar#682
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:mhuisi/update-textmate-grammar

Commits

Commits on Oct 17, 2025