diff options
| author | cyan <cyjan@mrcyjanek.net> | 2024-10-21 11:30:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-21 11:30:40 +0200 |
| commit | d54c9023bdf089489468d86b3aedd017e8973252 (patch) | |
| tree | 39d96db065dfb35cd995968ee21bff00ea836a99 /docs/Writerside/cfg/glossary.xml | |
| parent | f956f6b78164412c60ba6e7e368afc17635ae7ce (diff) | |
| parent | d04dcf67ec042fca76b48ffc09ea9d2ea4b5106e (diff) | |
Merge branch 'master' into ledgerledger
Diffstat (limited to 'docs/Writerside/cfg/glossary.xml')
| -rw-r--r-- | docs/Writerside/cfg/glossary.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/Writerside/cfg/glossary.xml b/docs/Writerside/cfg/glossary.xml new file mode 100644 index 0000000..22bec6b --- /dev/null +++ b/docs/Writerside/cfg/glossary.xml @@ -0,0 +1,7 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE terms SYSTEM "https://resources.jetbrains.com/writerside/1.0/glossary.dtd"> +<terms> + <term name="foo"> + Description of what "foo" is. + </term> +</terms>
\ No newline at end of file |