diff options
Diffstat (limited to 'Writerside/hi.tree')
| -rw-r--r-- | Writerside/hi.tree | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Writerside/hi.tree b/Writerside/hi.tree new file mode 100644 index 0000000..70350b6 --- /dev/null +++ b/Writerside/hi.tree @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE instance-profile + SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd"> + +<instance-profile id="hi" + name="Project Knowledge Base" + start-page="Welcome.md"> + <toc-element topic="Welcome.md"/> + <toc-element topic="Patchwork-Archive.md"> + <toc-element topic="Patchwork-API.md"/> + </toc-element> + <toc-element topic="VTuber-Captcha.md"/> +</instance-profile>
\ No newline at end of file |