2022-11-16 12:43:57 -08:00
|
|
|
<component name="ProjectRunConfigurationManager">
|
2022-11-16 13:44:06 -08:00
|
|
|
<configuration default="false" name="TriggerImage all" type="Application" factoryName="Application">
|
2022-11-16 12:43:57 -08:00
|
|
|
<option name="MAIN_CLASS_NAME" value="com.rusefi.trigger.TriggerImage" />
|
2023-07-10 21:56:59 -07:00
|
|
|
<module name="java_tools.trigger-ui.main" />
|
2022-11-16 12:43:57 -08:00
|
|
|
<extension name="coverage">
|
|
|
|
|
<pattern>
|
|
|
|
|
<option name="PATTERN" value="com.rusefi.trigger.*" />
|
|
|
|
|
<option name="ENABLED" value="true" />
|
|
|
|
|
</pattern>
|
|
|
|
|
</extension>
|
|
|
|
|
<method v="2">
|
|
|
|
|
<option name="Make" enabled="true" />
|
|
|
|
|
</method>
|
|
|
|
|
</configuration>
|
|
|
|
|
</component>
|
