| 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/inspectionProfiles/profiles_settings.xml | |
| 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 |