This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues or pull requests.
CS4308_CompilerProject/.idea/inspectionProfiles/Project_Default.xml

8 lines
361 B
XML
Raw Normal View History

2023-10-07 15:46:08 +00:00
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="JavadocDeclaration" enabled="true" level="WARNING" enabled_by_default="true">
<option name="ADDITIONAL_TAGS" value="precondition:,postcondition:" />
</inspection_tool>
</profile>
</component>