diff options
Diffstat (limited to 'Writerside/hi.tree')
| -rw-r--r-- | Writerside/hi.tree | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Writerside/hi.tree b/Writerside/hi.tree deleted file mode 100644 index 1780f40..0000000 --- a/Writerside/hi.tree +++ /dev/null @@ -1,14 +0,0 @@ -<?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"/> - <toc-element topic="IMissSomeone-VT.md"/> -</instance-profile>
\ No newline at end of file |