starred/MediaManager
1
0
Fork 0
mirror of https://github.com/maxdorninger/MediaManager.git synced 2026-04-18 23:54:05 +02:00
Code Issues Packages Projects Releases Wiki Activity

add docs

Browse Source
This commit is contained in:
maxDorninger
2025-05-30 22:40:14 +02:00
parent 75b72bb03f
commit 626aa85d48
20 changed files with 634 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
Writerside/redirection-rules.xml Normal file
View File

@@ -0,0 +1,25 @@
<?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>
</rules>