This commit is contained in:
Sebastian Seedorf
2020-11-10 18:31:01 +01:00
commit 4faabe5409
38 changed files with 1788 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="LatexMissingImport" enabled="true" level="WARNING" enabled_by_default="true">
<option name="numberOfIndexedUsePackages" value="29" />
</inspection_tool>
</profile>
</component>