# HG changeset patch
# User wenzelm
# Date 1430689284 -7200
# Node ID 478795f6e78a8acaf86df2ac503835b41647ece1
# Parent  2c468c06258981cd53dbbe4fcd668cc312fcaa90
updated screenshot;

diff -r 2c468c062589 -r 478795f6e78a src/Doc/JEdit/document/auto-tools.png
Binary file src/Doc/JEdit/document/auto-tools.png has changed