jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-04-19 02:10:54 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

version j-0.0.5

Browse source
This commit is contained in:
Josia Pietsch 2024-07-30 20:07:29 +02:00
parent 1ea12aa07c
commit ebc2e5ca2a
Signed by: jrpie
GPG key ID: E70B571D66986A2D
5 changed files with 27 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

10
.idea/migrations.xml generated Normal file
View file

@ -0,0 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ProjectMigrations">
<option name="MigrateToGradleLocalJavaHome">
<set>
<option value="$PROJECT_DIR$" />
</set>
</option>
</component>
</project>