Goldreich-Goldwasser-Halevi/.idea/inspectionProfiles/profiles_settings.xml

6 lines
174 B
XML
Raw Permalink Normal View History

2023-05-29 14:17:03 +00:00
<component name="InspectionProjectProfileManager">
<settings>
<option name="USE_PROJECT_PROFILE" value="false" />
<version value="1.0" />
</settings>
</component>