2022-05-12 23:47:19 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="CompilerExplorerSettingsProvider">
|
2022-05-13 01:13:09 +02:00
|
|
|
<option name="enabled" value="false" />
|
2022-05-12 23:47:19 +02:00
|
|
|
<option name="highlightColorRGB" value="-16711681" />
|
2022-05-13 01:13:09 +02:00
|
|
|
<option name="initialNoticeShown" value="true" />
|
2022-05-12 23:47:19 +02:00
|
|
|
</component>
|
|
|
|
|
</project>
|
