diff options
| author | Michael Davis | 2024-01-25 05:10:58 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-25 05:10:58 +0000 |
| commit | cda8ea991e885a84f03d7ffcf4cf046bfbf77490 (patch) | |
| tree | 4f81073d5de76a628ed58a0ad5ea027ffbb3b0c6 /runtime | |
| parent | 83f09ecbff5160e4350c8099be1ad4c64513f665 (diff) | |
highlighting: Gate multiple captures behind `#is-not? local` predicates (#9390)
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions