Update docs for Lektor PR #1164: Replace "edit pencil" by "edit button in tool drawer" - Githubissues

lektor / lektor-website

The main lektor website.

https://www.getlektor.com/

Other

160 stars 134 forks source link

Update docs for Lektor PR #1164: Replace "edit pencil" by "edit button in tool drawer" #380

Open dairiki opened 11 months ago

dairiki commented 11 months ago

See lektor/lektor#1164.