diff --git a/ultimate/.idea/libraries/kotlin_script_runtime.xml b/ultimate/.idea/libraries/kotlin_script_runtime.xml new file mode 100644 index 00000000000..ed74f6a8c45 --- /dev/null +++ b/ultimate/.idea/libraries/kotlin_script_runtime.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/ultimate/kotlin-ultimate.iml b/ultimate/kotlin-ultimate.iml index 8b973535a7d..a29252602e4 100644 --- a/ultimate/kotlin-ultimate.iml +++ b/ultimate/kotlin-ultimate.iml @@ -14,6 +14,7 @@ +