2016-04-09 10:02:13 -07:00
|
|
|
<component name="ProjectRunConfigurationManager">
|
2020-12-12 12:44:57 -08:00
|
|
|
<configuration default="false" name="IniFileModel" type="Application" factoryName="Application" folderName="Misc" nameIsGenerated="true">
|
2020-04-25 19:56:47 -07:00
|
|
|
<option name="MAIN_CLASS_NAME" value="com.opensr5.ini.IniFileModel" />
|
|
|
|
|
<module name="ui" />
|
|
|
|
|
<extension name="coverage">
|
2016-04-09 10:02:13 -07:00
|
|
|
<pattern>
|
2020-04-25 19:56:47 -07:00
|
|
|
<option name="PATTERN" value="com.opensr5.ini.*" />
|
2016-04-09 10:02:13 -07:00
|
|
|
<option name="ENABLED" value="true" />
|
|
|
|
|
</pattern>
|
|
|
|
|
</extension>
|
2020-04-25 19:56:47 -07:00
|
|
|
<method v="2">
|
|
|
|
|
<option name="Make" enabled="true" />
|
|
|
|
|
</method>
|
2016-04-09 10:02:13 -07:00
|
|
|
</configuration>
|
|
|
|
|
</component>
|
