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