annotate .idea/inspectionProfiles/profiles_settings.xml @ 1129:81f91a2e4451

TW-84326: Stay compatible with updated share extension behavior. - Remove the "shared" extension from "requires" when disabling sharing. - Tests: ignore the "requires" file in shared repository stores.
author Andreas Eisele <andreas.eisele@jetbrains.com>
date Fri, 28 Jun 2024 09:44:50 +0200
parents 1bee9e7b8a99
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
484
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
1 <component name="InspectionProjectProfileManager">
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
2 <settings>
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
3 <option name="PROJECT_PROFILE" value="Project Default" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
4 <option name="USE_PROJECT_PROFILE" value="true" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
5 <version value="1.0" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
6 <list size="6">
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
7 <item index="0" class="java.lang.String" itemvalue="TYPO" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
8 <item index="1" class="java.lang.String" itemvalue="WEAK WARNING" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
9 <item index="2" class="java.lang.String" itemvalue="INFO" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
10 <item index="3" class="java.lang.String" itemvalue="WARNING" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
11 <item index="4" class="java.lang.String" itemvalue="ERROR" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
12 <item index="5" class="java.lang.String" itemvalue="SERVER PROBLEM" />
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
13 </list>
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
14 </settings>
1bee9e7b8a99 switch to .idea project
eugene.petrenko@gmail.com
parents:
diff changeset
15 </component>