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.8.20-release-327" />
  </component>
</project>
update to Kotlin 1.8.20, docs update 2023-04-03 18:47:31 +00:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
			`<component name="Kotlin2JvmCompilerArguments">`
			`<option name="jvmTarget" value="11" />`
			`</component>`
			`<component name="KotlinJpsPluginSettings">`
fix IDEA kotlin version 2023-04-29 12:23:40 +00:00			`<option name="version" value="1.8.20-release-327" />`
update to Kotlin 1.8.20, docs update 2023-04-03 18:47:31 +00:00			`</component>`
			`</project>`