docs/Writerside/writerside.cfg@aa1f580f8f59
docs/Writerside/writerside.cfg
Thu, 15 May 2025 16:12:09 +0200
- author
- Mike Becker <universe@uap-core.de>
- date
- Thu, 15 May 2025 16:12:09 +0200
- changeset 1319
- aa1f580f8f59
- parent 1280
-
60123b3db06e
- permissions
- -rw-r--r--
add convenience macros for using the default allocator - relates to #669
<?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="3.2"/>
</ihp>