# 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