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.20" />
  </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">`
			`<option name="jvmTarget" value="11" />`
			`</component>`
			`<component name="KotlinJpsPluginSettings">`
gfx2 future mode, upgrate to Kotlin 1.9.20 2023-11-01 21:55:42 +01:00			`<option name="version" value="1.9.20" />`
update to Kotlin 1.8.20, docs update 2023-04-03 20:47:31 +02:00			`</component>`
			`</project>`