updated screenshot;
authorwenzelm
Sun May 03 23:41:24 2015 +0200 (2015-05-03)
changeset 60253478795f6e78a
parent 60252 2c468c062589
child 60254 52110106c0ca
updated screenshot;
src/Doc/JEdit/document/auto-tools.png
     1.1 Binary file src/Doc/JEdit/document/auto-tools.png has changed