Mirror/Thetya
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Initial commit

Browse Source
This commit is contained in:
Gitea
2025-08-14 12:20:46 +02:00
commit 7384eeb2f0
290 changed files with 614128 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
.idea/runConfigurations/Tools__User_Tool.xml generated Normal file
View File

@@ -0,0 +1,16 @@
<component name="ProjectRunConfigurationManager">
<configuration default="false" name="Tools: User Tool" type="Application" factoryName="Application">
<option name="MAIN_CLASS_NAME" value="com.github.thetya.server.tools.UserTool" />
<module name="thetya-server" />
<option name="PROGRAM_PARAMETERS" value="$Prompt$" />
<extension name="coverage">
<pattern>
<option name="PATTERN" value="com.github.thetya.server.tools.*" />
<option name="ENABLED" value="true" />
</pattern>
</extension>
<method v="2">
<option name="Make" enabled="true" />
</method>
</configuration>
</component>