aboutsummaryrefslogtreecommitdiff
path: root/doc/ref/general/lens.texi (unfollow)
Commit message (Expand)Author
2023-09-13Repair texinfo files after merge.Hugo Hörnquist