mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
14 lines
529 B
XML
14 lines
529 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE instance-profile
|
|
SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">
|
|
|
|
<instance-profile id="settings-docs-draft"
|
|
name="Settings Docs (draft)"
|
|
start-page="overview.md">
|
|
|
|
<toc-element topic="overview.md"/>
|
|
<toc-element topic="setting-descriptor.md"/>
|
|
<toc-element topic="setting-types.md"/>
|
|
<toc-element topic="bridge-to-old-api.md"/>
|
|
<toc-element topic="storage-design.md"/>
|
|
</instance-profile> |