mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00
Code Issues Wiki Activity

Bug 537139 - Checkbox label should not end with a dot

Browse source 
Remove the dot from the checkbox label.

Change-Id: Ic224f7e14bbd82cbeb734edd639db84063b6c5a2
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
This commit is contained in:
Michael Keppler 2018-07-18 11:48:57 +02:00
parent e0c656d2e0
commit c47158b2fa
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/MakeResources.properties
View file

@ -214,9 +214,9 @@ FilterEmptyFolderAction.tooltip=Hide Empty Folders
MakeUIPlugin.update_project=Update make projects
MakeUIPlugin.update_project_message=Older \'make\' projects have been detected in your workspace. \n These projects are no longer supported, would you like to convert these now?
# Prefernece Page
# Preference Page
MakePreferencePage.description=Specify the settings used as defaults by the New Standard Make Project creation wizard.
MakeTargetPreferencePage.buildTargetInBackground.label=Build target in the background.
MakeTargetPreferencePage.buildTargetInBackground.label=Build target in the background
MakeTargetPreferencePage.buildLastTarget.title=Rebuild Last Target
MakeTargetPreferencePage.buildLastTarget.project=From selected &project
MakeTargetPreferencePage.buildLastTarget.resource=From selected &folder