docs/Writerside/writerside.cfg@e15ca477d448
docs/Writerside/writerside.cfg
Tue, 01 Apr 2025 19:21:04 +0200
- author
- Mike Becker <universe@uap-core.de>
- date
- Tue, 01 Apr 2025 19:21:04 +0200
- changeset 1269
- e15ca477d448
- parent 1145
- 1a8fe7b7dd8a
- permissions
- -rw-r--r--
document the flushing feature for the buffer
relates #451
<?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.1"/> </ihp>
