diff options
author | Markus Keller | 2016-01-20 15:57:01 +0000 |
---|---|---|
committer | Markus Keller | 2016-01-20 15:57:01 +0000 |
commit | b45e6c163c5f101d2bdb8248593972e2a6cc6eb5 (patch) | |
tree | ba4f2e088578f698e6e8636493940e8b077b37ac | |
parent | 65e4e6c47fc7069db9aa22cf2f26b3cd0e275007 (diff) | |
download | eclipse.platform.text-b45e6c163c5f101d2bdb8248593972e2a6cc6eb5.tar.gz eclipse.platform.text-b45e6c163c5f101d2bdb8248593972e2a6cc6eb5.tar.xz eclipse.platform.text-b45e6c163c5f101d2bdb8248593972e2a6cc6eb5.zip |
Bug 486184: [preferences] Annotations preference page: "Info" should be plural
-rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index e22b10ca464..ea42f575cc5 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -71,7 +71,7 @@ goToNextAnnotation.tooltip= Next Annotation errors.label= Errors warnings.label= Warnings -infos.label= Info +infos.label= Infos tasks.label= Tasks bookmarks.label= Bookmarks changes.label= Diff Changes |