diff options
Diffstat (limited to 'Writerside/writerside.cfg')
| -rw-r--r-- | Writerside/writerside.cfg | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Writerside/writerside.cfg b/Writerside/writerside.cfg deleted file mode 100644 index 5f10ad4..0000000 --- a/Writerside/writerside.cfg +++ /dev/null @@ -1,10 +0,0 @@ -<?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 |