mirror of
https://github.com/maxdorninger/MediaManager.git
synced 2026-02-20 07:59:50 -05:00
29 lines
1.1 KiB
XML
29 lines
1.1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE rules SYSTEM "https://resources.jetbrains.com/writerside/1.0/redirection-rules.dtd">
|
|
<rules>
|
|
<!-- format is as follows
|
|
<rule id="<unique id>">
|
|
<accepts>page.html</accepts>
|
|
</rule>
|
|
-->
|
|
<rule id="63c34f28">
|
|
<description>Created after removal of "Installation" from MediaManager</description>
|
|
<accepts>installation.html</accepts>
|
|
</rule>
|
|
<rule id="440cb672">
|
|
<description>Created after removal of "About MediaManager" from MediaManager</description>
|
|
<accepts>starter-topic.html</accepts>
|
|
</rule>
|
|
<rule id="666c8c31">
|
|
<description>Created after removal of "User Guide" from MediaManager</description>
|
|
<accepts>user-guide.html</accepts>
|
|
</rule>
|
|
<rule id="6822e619">
|
|
<description>Created after removal of "Quick Start Guide" from MediaManager</description>
|
|
<accepts>Quick-Start-Guide.html</accepts>
|
|
</rule>
|
|
<rule id="570cb9d1">
|
|
<description>Created after removal of "user-guide" from MediaManager</description>
|
|
<accepts>user-guide.html</accepts>
|
|
</rule>
|
|
</rules> |