index : releng | |
Archlinux32 release engineering | gitolite user |
summaryrefslogtreecommitdiff |
author | Simon Doppler <dopsi@dopsi.ch> | 2017-08-10 15:42:36 +0200 |
---|---|---|
committer | Simon Doppler <dopsi@dopsi.ch> | 2017-08-10 15:42:36 +0200 |
commit | 34d7026d699ed224819f140ec035220145c37c5d (patch) | |
tree | 4f41adedaf5c5b042bba5aaa4d679fd549570408 /.idea | |
parent | 7e38635cf035af09a17864146b3701ea104c29df (diff) |
-rw-r--r-- | .idea/inspectionProfiles/profiles_settings.xml | 6 |
diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml deleted file mode 100644 index cb2fdb3..0000000 --- a/.idea/inspectionProfiles/profiles_settings.xml +++ /dev/null @@ -1,6 +0,0 @@ -<component name="InspectionProjectProfileManager"> - <settings> - <option name="PROJECT_PROFILE" /> - <version value="1.0" /> - </settings> -</component>
\ No newline at end of file |