2023-05-03 21:21:04 +00:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
2023-02-25 19:51:36 +00:00
|
|
|
<component name="OptionNode" extends="ContentNode">
|
|
|
|
<interface>
|
|
|
|
<field id="name" type="string" />
|
|
|
|
<field id="delimiter" type="string" />
|
|
|
|
<field id="checkedState" type="array" />
|
|
|
|
</interface>
|
2023-05-03 21:21:04 +00:00
|
|
|
</component>
|