diff options
Diffstat (limited to 'Writerside/writerside.cfg')
| -rw-r--r-- | Writerside/writerside.cfg | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Writerside/writerside.cfg b/Writerside/writerside.cfg new file mode 100644 index 0000000..5f10ad4 --- /dev/null +++ b/Writerside/writerside.cfg @@ -0,0 +1,10 @@ +<?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"/> + <images dir="images" web-path="images"/> + <categories src="c.list"/> + <vars src="v.list"/> + <instance src="hi.tree"/> +</ihp>
\ No newline at end of file |