mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Dump commit message right margin to 120 chars.
Seems to be more convenient for most of the project developers. Follow-up: 254e78d
This commit is contained in:
Generated
+7
-2
@@ -2,8 +2,13 @@
|
||||
<project version="4">
|
||||
<component name="CommitMessageInspectionProfile">
|
||||
<profile version="1.0">
|
||||
<inspection_tool class="SubjectBodySeparation" enabled="true" level="WARNING" enabled_by_default="true"/>
|
||||
<inspection_tool class="SubjectLimit" enabled="true" level="WARNING" enabled_by_default="true"/>
|
||||
<inspection_tool class="BodyLimit" enabled="false" level="WARNING" enabled_by_default="false">
|
||||
<option name="RIGHT_MARGIN" value="120" />
|
||||
</inspection_tool>
|
||||
<inspection_tool class="SubjectBodySeparation" enabled="true" level="WARNING" enabled_by_default="true" />
|
||||
<inspection_tool class="SubjectLimit" enabled="true" level="WARNING" enabled_by_default="true">
|
||||
<option name="RIGHT_MARGIN" value="120" />
|
||||
</inspection_tool>
|
||||
</profile>
|
||||
</component>
|
||||
<component name="GitSharedSettings">
|
||||
|
||||
Reference in New Issue
Block a user