diff options
| author | cyan <cyjan@mrcyjanek.net> | 2024-10-17 10:50:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-17 10:50:22 +0200 |
| commit | d04dcf67ec042fca76b48ffc09ea9d2ea4b5106e (patch) | |
| tree | 2f9855c1c5daaece4ac17ff7ce748ba49ec86701 /docs/Writerside/c.list | |
| parent | 939040032f6e22529ccb6b5f54d9c48fc94db3d6 (diff) | |
initial work on docs (#69)
* initial work on docs
* fix DOCKER_VERSION
* update location
* add the path **properly**
* Update docs workflow
Diffstat (limited to 'docs/Writerside/c.list')
| -rw-r--r-- | docs/Writerside/c.list | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/Writerside/c.list b/docs/Writerside/c.list new file mode 100644 index 0000000..c4c77a2 --- /dev/null +++ b/docs/Writerside/c.list @@ -0,0 +1,6 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE categories + SYSTEM "https://resources.jetbrains.com/writerside/1.0/categories.dtd"> +<categories> + <category id="wrs" name="Writerside documentation" order="1"/> +</categories>
\ No newline at end of file |
