diff options
| author | Dave Borowitz <dborowitz@google.com> | 2013-05-22 14:47:32 -0700 |
|---|---|---|
| committer | Dave Borowitz <dborowitz@google.com> | 2013-05-22 14:47:32 -0700 |
| commit | e7899c407247f6f0e8051a6b46f2fc89ae50d52f (patch) | |
| tree | db795a045b7456ba458ef6ee9390e93826658403 /Documentation | |
| parent | f59de4205d7ce12e50fe9c188d4e04a8a9112b1e (diff) | |
Use "abbreviation" instead of "abbreviatedName" for labels
Change-Id: I22b8c9e4323d73caa02f2768d74ab5f0fa53cbed
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/config-labels.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/config-labels.txt b/Documentation/config-labels.txt index 5014242ed4..2fd7a95194 100644 --- a/Documentation/config-labels.txt +++ b/Documentation/config-labels.txt @@ -175,8 +175,8 @@ text"`. The `<#>` may be any positive or negative number with an optional leading `+`. -[[label_abbreviatedName]] -`label.Label-Name.abbreviatedName` +[[label_abbreviation]] +`label.Label-Name.abbreviation` ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ An abbreviated name for a label shown as a compact column header, for |