2020-04-22 15:14:18 +00:00
|
|
|
<application>
|
|
|
|
<component name="ScalaSettings">
|
2022-04-23 07:40:25 +00:00
|
|
|
<option name="COMPILE_SERVER_PORT" value="59867" />
|
2020-04-22 15:14:18 +00:00
|
|
|
<option name="COMPILE_SERVER_ID" value="dfc58976-e0dd-4e7a-bacb-14af48e58e46" />
|
2022-03-10 15:24:16 +00:00
|
|
|
<option name="COMPILE_SERVER_SDK" value="8" />
|
2020-04-22 15:14:18 +00:00
|
|
|
<option name="COMPILE_SERVER_SHUTDOWN_IDLE" value="false" />
|
|
|
|
<option name="USE_PROJECT_HOME_AS_WORKING_DIR" value="true" />
|
|
|
|
</component>
|
|
|
|
</application>
|