Added JDK 20 and make JDK 17 default

This commit is contained in:
Erik C. Thauvin 2023-09-24 16:16:57 -07:00
parent 46febe019a
commit f0f04b8a6e
2 changed files with 11 additions and 29 deletions

View file

@ -1,6 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="KotlinScriptingSettings">
<option name="suppressDefinitionsCheck" value="true" />
</component>
</project>