diff options
| author | Daniel S Poulin | 2022-08-06 14:40:10 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-06 14:40:10 +0000 |
| commit | 4dd35777f4b15c8f8ef18102767e9984df51e07c (patch) | |
| tree | 33a5dfa2394e7e9f2df0e11ec517cfe10af7ffbd /runtime/queries/lean/highlights.scm | |
| parent | 24f5a47ceca5468ef22e21cdbb53e737782ff878 (diff) | |
Attempt to bring spacebones light up to speed with recent features (#3342)
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions