src/Doc/JEdit/document/bibtex-mode.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;

(binary:image/png)