mirror of
https://github.com/maxdorninger/MediaManager.git
synced 2026-04-18 15:54:02 +02:00
23 lines
992 B
XML
23 lines
992 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE buildprofiles SYSTEM "https://resources.jetbrains.com/writerside/1.0/build-profiles.dtd">
|
|
<buildprofiles xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/build-profiles.xsd">
|
|
|
|
<variables></variables>
|
|
<build-profile instance="mm">
|
|
<variables>
|
|
<noindex-content>false</noindex-content>
|
|
<content-max-width>2000</content-max-width>
|
|
<custom-favicons>favicon.ico</custom-favicons>
|
|
<header-logo>logo.svg</header-logo>
|
|
|
|
<download-title>Get MediaManager</download-title>
|
|
<download-page>https://github.com/maxdorninger/MediaManager/releases</download-page>
|
|
<showDownloadButton>true</showDownloadButton>
|
|
<product-web-url>https://github.com/maxdorninger/MediaManager</product-web-url>
|
|
|
|
</variables>
|
|
</build-profile>
|
|
|
|
</buildprofiles>
|