diff options
| author | Vivian Kong | 2011-02-25 19:55:03 +0000 |
|---|---|---|
| committer | Vivian Kong | 2011-02-25 19:55:03 +0000 |
| commit | f561817d6e0f2fa0110f659c747ab08f25acb9b4 (patch) | |
| tree | 1f4ef0768cbbf128967ce34568bd4a468c3deabc /build/org.eclipse.cdt.managedbuilder.ui/plugin.properties | |
| parent | 101d5367d050c1755b4aadb989000353723a4276 (diff) | |
| download | org.eclipse.cdt-f561817d6e0f2fa0110f659c747ab08f25acb9b4.tar.gz org.eclipse.cdt-f561817d6e0f2fa0110f659c747ab08f25acb9b4.tar.xz org.eclipse.cdt-f561817d6e0f2fa0110f659c747ab08f25acb9b4.zip | |
Bug 133881 - Make refreshing after building optional
Diffstat (limited to 'build/org.eclipse.cdt.managedbuilder.ui/plugin.properties')
| -rw-r--r-- | build/org.eclipse.cdt.managedbuilder.ui/plugin.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build/org.eclipse.cdt.managedbuilder.ui/plugin.properties b/build/org.eclipse.cdt.managedbuilder.ui/plugin.properties index 7d7e6979560..8f36122bf02 100644 --- a/build/org.eclipse.cdt.managedbuilder.ui/plugin.properties +++ b/build/org.eclipse.cdt.managedbuilder.ui/plugin.properties @@ -1,5 +1,5 @@ ############################################################################### -# Copyright (c) 2003, 2010 IBM Corporation and others. +# Copyright (c) 2003, 2011 IBM Corporation and others. # All rights reserved. This program and the accompanying materials # are made available under the terms of the Eclipse Public License v1.0 # which accompanies this distribution, and is available at @@ -77,6 +77,7 @@ Build.steps=Build Steps Build.artifact=Build Artifact Builder.settings=Builder Settings WBB.settings=Behaviour +Refresh.policy=Refresh Policy Includes=Includes Includes.tooltip=Includes list IncludeFiles=Include Files |