mirror of
https://github.com/darverdevs/PluginInstaller.git
synced 2024-10-18 11:05:59 -07:00
8 lines
546 B
XML
8 lines
546 B
XML
|
<component name="InspectionProjectProfileManager">
|
||
|
|
<profile version="1.0">
|
||
|
|
<option name="myName" value="Project Default" />
|
||
|
|
<inspection_tool class="AutoCloseableResource" enabled="true" level="WARNING" enabled_by_default="true">
|
||
|
|
<option name="METHOD_MATCHER_CONFIG" value="java.util.Formatter,format,java.io.Writer,append,com.google.common.base.Preconditions,checkNotNull,org.hibernate.Session,close,java.io.PrintWriter,printf,java.io.PrintStream,printf,java.net.URL,openStream" />
|
||
|
|
</inspection_tool>
|
||
|
|
</profile>
|
||
|
|
</component>
|