mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
jps-bootstrap: .idea
GitOrigin-RevId: e5c874c7ed02d22e8745efe7463d4fdc823d602c
This commit is contained in:
committed by
intellij-monorepo-bot
parent
3908fd0a72
commit
4a46b62742
@@ -0,0 +1,6 @@
|
||||
<component name="InspectionProjectProfileManager">
|
||||
<profile version="1.0">
|
||||
<option name="myName" value="Project Default" />
|
||||
<inspection_tool class="SameParameterValue" enabled="false" level="WARNING" enabled_by_default="false" />
|
||||
</profile>
|
||||
</component>
|
||||
Reference in New Issue
Block a user