2021-01-07 08:09:41 +00:00
|
|
|
<application>
|
|
|
|
|
<component name="DefaultFont">
|
|
|
|
|
<option name="FONT_SIZE" value="13" />
|
2021-03-09 17:39:56 +00:00
|
|
|
<option name="FONT_FAMILY" value="SauceCodePro Nerd Font Mono" />
|
2021-01-07 08:09:41 +00:00
|
|
|
</component>
|
|
|
|
|
</application>
|
