diff options
| author | sscheele | 2023-04-30 19:26:18 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-30 19:26:18 +0000 |
| commit | f52e81b1f340d13a7c7e80b8f8ad2ef30015d0ef (patch) | |
| tree | cdd9f2c73f53b9821df8f012c21656175f81a8d9 /runtime/queries/lean/injections.scm | |
| parent | 77da0ae8cee941c9d4bcf6dc3dfaf0ff66846a9e (diff) | |
Update docs for `move_visual_line_*` (#6918)
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions