mirror of
https://github.com/jie65535/mirai-console-jrandom-plugin.git
synced 2025-06-02 17:49:13 +08:00
10 lines
460 B
XML
10 lines
460 B
XML
<component name="ProjectRunConfigurationManager">
|
|
<configuration default="false" name="RunMiraiKt" type="JetRunConfigurationType" nameIsGenerated="true">
|
|
<option name="MAIN_CLASS_NAME" value="top.jie65535.jrandom.RunMiraiKt" />
|
|
<module name="mirai-console-jrandom-plugin" />
|
|
<option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/.run" />
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
</component> |