updated screenshot;
authorwenzelm
Mon, 18 Jan 2021 15:22:17 +0100
changeset 73394 bdc8cd6f5e6e
parent 73393 5f49f1149c1c
child 73395 c9a836122739
updated screenshot;
src/Doc/JEdit/document/cite-completion.png
Binary file src/Doc/JEdit/document/cite-completion.png has changed