langtools/make/intellij/inspectionProfiles/profiles_settings.xml
author prr
Tue, 16 Jun 2015 14:38:12 -0700
changeset 33285 5b20fc9010b7
parent 25282 d49c47cad9f0
permissions -rw-r--r--
8086092: More palette improvements Reviewed-by: bae, serb, mschoene

<component name="InspectionProjectProfileManager">
  <settings>
    <option name="PROJECT_PROFILE" value="langtools" />
    <option name="USE_PROJECT_PROFILE" value="true" />
    <version value="1.0" />
  </settings>
</component>