prog8/.idea/kotlinc.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="Kotlin2JvmCompilerArguments">
    <option name="jvmTarget" value="11" />
  </component>
  <component name="KotlinJpsPluginSettings">
    <option name="version" value="1.9.24" />
  </component>
</project>
update to Kotlin 1.8.20, docs update 2023-04-03 20:47:31 +02:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
			`<component name="Kotlin2JvmCompilerArguments">`
Revert "update to Java 17 LTS" This reverts commit 3ef5bdfeda3c652738ef6c0068edab57339afa6c. 2024-05-18 18:59:32 +02:00			`<option name="jvmTarget" value="11" />`
update to Kotlin 1.8.20, docs update 2023-04-03 20:47:31 +02:00			`</component>`
			`<component name="KotlinJpsPluginSettings">`
java version tweaks 2024-05-18 20:25:44 +02:00			`<option name="version" value="1.9.24" />`
update to Kotlin 1.8.20, docs update 2023-04-03 20:47:31 +02:00			`</component>`
java version tweaks 2024-05-18 20:25:44 +02:00			`</project>`