Skip to content

GitLab

"launch/tio/src/lib.rs" did not exist on "32a748e4030859dbb2a4dd9eaac389e2c84966b3"
Commit 1041d883 authored by luopl's avatar luopl
Browse files

Delete profiles_settings.xml

parent f4b8bed1
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 6 deletions
.idea/inspectionProfiles/profiles_settings.xml deleted 100644 → 0
View file @ f4b8bed1
<component name="InspectionProjectProfileManager">
<settings>
<option name="USE_PROJECT_PROFILE" value="false" />
<version value="1.0" />
</settings>
</component>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment