mirror of
https://github.com/maxdorninger/MediaManager.git
synced 2026-04-18 14:54:04 +02:00
9 lines
319 B
INI
9 lines
319 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="MediaManager"/>
|
|
<instance src="mm.tree"/>
|
|
<instance src="Writerside_libraries.tree"/>
|
|
</ihp> |