mirror of
https://github.com/getrebuild/rebuild.git
synced 2025-02-26 23:33:12 +08:00
28 lines
1.2 KiB
Text
28 lines
1.2 KiB
Text
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
|
<module version="4">
|
||
|
|
<component name="FacetManager">
|
||
|
|
<facet type="JRebel" name="JRebel">
|
||
|
|
<configuration>
|
||
|
|
<option name="deleteUnindexed" value="false" />
|
||
|
|
<option name="httpAuthEnabled" value="false" />
|
||
|
|
<option name="httpPassword" />
|
||
|
|
<option name="httpUsername" />
|
||
|
|
<option name="ideModuleStorage">
|
||
|
|
<map>
|
||
|
|
<entry key="com.zeroturnaround.jrebel.FormatVersion" value="7.0.0" />
|
||
|
|
<entry key="com.zeroturnaround.jrebel.remoting.DeleteUnindexedFiles" value="false" />
|
||
|
|
<entry key="com.zeroturnaround.jrebel.remoting.ModuleRemoteServerSelection" value="off" />
|
||
|
|
<entry key="jrebelEnabled" value="true" />
|
||
|
|
<entry key="lastExternalPluginCheckTime" value="1562332983641" />
|
||
|
|
</map>
|
||
|
|
</option>
|
||
|
|
<option name="masterModuleName" />
|
||
|
|
<option name="overrideStandardXmlFolder" value="false" />
|
||
|
|
<option name="remotingEnabled" value="false" />
|
||
|
|
<option name="secure" value="true" />
|
||
|
|
<option name="url" />
|
||
|
|
<option name="xmlDir" />
|
||
|
|
</configuration>
|
||
|
|
</facet>
|
||
|
|
</component>
|
||
|
|
</module>
|