mirror of
https://github.com/maxdorninger/MediaManager.git
synced 2025-12-23 22:18:19 -05:00
9 lines
345 B
XML
9 lines
345 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="Writerside_libraries"
|
|
name="Writerside_libraries" is-library="true" start-page="notes.topic">
|
|
|
|
<toc-element topic="notes.topic"/>
|
|
</instance-profile> |