2022-11-24 04:06:14 +00:00
|
|
|
<application>
|
2023-02-18 18:14:40 +00:00
|
|
|
<component name="Registry">
|
2023-04-29 03:02:43 +01:00
|
|
|
<entry key="ide.experimental.ui" value="true" />
|
2023-07-28 11:32:06 +01:00
|
|
|
<entry key="ide.experimental.ui.inter.font" value="false" />
|
|
|
|
|
<entry key="idea.plugins.compatible.build" value="" />
|
2023-02-18 18:14:40 +00:00
|
|
|
</component>
|
2022-11-24 04:06:14 +00:00
|
|
|
</application>
|
