mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
10 lines
338 B
INI
10 lines
338 B
INI
<?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="settings-docs-draft.tree"/>
|
|
</ihp> |