docs/Writerside/writerside.cfg@d0b5eb033b2a
docs/Writerside/writerside.cfg
Sat, 29 Nov 2025 12:10:27 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sat, 29 Nov 2025 12:10:27 +0100
- changeset 1522
- d0b5eb033b2a
- parent 1280
- 60123b3db06e
- permissions
- -rw-r--r--
fix install-lib.sh compatibility with older shells
<?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>
