aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean/injections.scm
diff options
context:
space:
mode:
authorsscheele2023-04-30 19:26:18 +0000
committerGitHub2023-04-30 19:26:18 +0000
commitf52e81b1f340d13a7c7e80b8f8ad2ef30015d0ef (patch)
treecdd9f2c73f53b9821df8f012c21656175f81a8d9 /runtime/queries/lean/injections.scm
parent77da0ae8cee941c9d4bcf6dc3dfaf0ff66846a9e (diff)
Update docs for `move_visual_line_*` (#6918)
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions