diff options
| author | A-Walrus | 2022-08-30 01:58:51 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-30 01:58:51 +0000 |
| commit | ae81fbdbf6e44cc6b2aa35876afab65055e40df5 (patch) | |
| tree | 1b01696b3010e2fb2e11dde0b46af88ad650bd72 /runtime/queries/lean/highlights.scm | |
| parent | 841766ef828870651ac980860a317369bd110cd9 (diff) | |
Allow less than and greater than in macros (#3556)
* Allow less than and greater than in macros
* Fix failing test
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions