src/Doc/JEdit/document/output.png
author wenzelm
Mon, 06 Sep 2021 11:55:54 +0200
changeset 74243 de383840425f
parent 73145 661e9bc0411e
child 82259 01657d88ab40
permissions -rw-r--r--
more scalable operations;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73145
661e9bc0411e updated screenshots;
wenzelm
parents: 70111
diff changeset
     1
(binary:image/png)