aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
authorn0s42022-06-25 19:23:11 +0000
committerBlaž Hrastnik2022-07-26 01:22:28 +0000
commit29ee7f6d015feda3131623e8ca2ecd25091ca619 (patch)
treeea02a5227ded80ee2fffc094f54cf1694ed144ec /runtime/queries/lean
parent92d94e1f7e900c6d358c0820c4278bf7b03022dd (diff)
Add REPLACING WITH YANKED TEXT and INCREMENTING/DECREMTING
Also some consistency issues - redundant/dated comment in JOINING LINES - spacing around slashes - etc.
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions