docs/Writerside/writerside.cfg@4983b6a34996
docs/Writerside/writerside.cfg
Fri, 19 Dec 2025 17:41:53 +0100
- author
- Mike Becker <universe@uap-core.de>
- date
- Fri, 19 Dec 2025 17:41:53 +0100
- changeset 1635
- 4983b6a34996
- parent 1539
- 2cbdb482d325
- permissions
- -rw-r--r--
use safe memcmp also as default for the hash map - relates to # 615
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE ihp SYSTEM "https://resources.jetbrains.com/writerside/1.0/ihp.dtd"> <ihp version="2.0"> <topics dir="topics" web-path="topics"/> <categories src="c.list"/> <images dir="images" web-path="images"/> <instance src="ucx.tree" version="4.0"/> </ihp>
