Jeff Dairiki 6ee31a7dc9 Replace "edit pencil" by "edit button in tool drawer" ... For lektor/lektor#1164		2023-11-06 11:04:40 -08:00
..
admin.png	reduce image size	2015-12-21 12:11:06 -07:00
contents.lr	Replace "edit pencil" by "edit button in tool drawer"	2023-11-06 11:04:40 -08:00