diff options
author | Erik Oosting | 2023-12-11 15:25:24 +0100 |
---|---|---|
committer | Erik Oosting | 2023-12-11 15:25:24 +0100 |
commit | 0e96e69659c7c31927b7eee5c40d017b035a6471 (patch) | |
tree | 8d037de425102e8ba6ebf0921aa7f58bacab1976 /.idea/inspectionProfiles/profiles_settings.xml |
Initial commit
Adding grammar
Diffstat (limited to '.idea/inspectionProfiles/profiles_settings.xml')
-rw-r--r-- | .idea/inspectionProfiles/profiles_settings.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml new file mode 100644 index 0000000..105ce2d --- /dev/null +++ b/.idea/inspectionProfiles/profiles_settings.xml @@ -0,0 +1,6 @@ +<component name="InspectionProjectProfileManager"> + <settings> + <option name="USE_PROJECT_PROFILE" value="false" /> + <version value="1.0" /> + </settings> +</component> \ No newline at end of file |