Upgrade to JDK 17. Add @JvmRecord annotations

This commit is contained in:
Edwin Jakobs
2024-06-01 07:31:44 +02:00
parent 06f593053b
commit 78fbff54c5
38 changed files with 94 additions and 33 deletions

View File

@@ -33,6 +33,7 @@ enum class OliveScriptHost {
KOTLIN_SCRIPT
}
@JvmRecord
data class ScriptLoadedEvent(val scriptFile: String)
enum class ScriptMode {