diff options
| author | Jared Burns | 2002-12-04 00:03:28 +0000 |
|---|---|---|
| committer | Jared Burns | 2002-12-04 00:03:28 +0000 |
| commit | 038cd79da419421a6054c552867a495c6cb78262 (patch) | |
| tree | 9873b9213ac12e36192ca96e309b8f29af455f44 /org.eclipse.ui.externaltools/plugin.properties | |
| parent | 94218d2adec1367e9aedb2694db711feccd762b6 (diff) | |
| download | eclipse.platform.debug-038cd79da419421a6054c552867a495c6cb78262.tar.gz eclipse.platform.debug-038cd79da419421a6054c552867a495c6cb78262.tar.xz eclipse.platform.debug-038cd79da419421a6054c552867a495c6cb78262.zip | |
Bug 16574 - [ExternalTools] External tool builders should use same set of external tools
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.properties b/org.eclipse.ui.externaltools/plugin.properties index 967c2a69d..aff1b5a5c 100644 --- a/org.eclipse.ui.externaltools/plugin.properties +++ b/org.eclipse.ui.externaltools/plugin.properties @@ -1,5 +1,6 @@ Plugin.name = External Tools Plugin.providerName = Eclipse.org +ExtPoint.configurationDuplicationMaps = Launch Configuration Duplication Maps ExtPoint.toolTypes = External Tool Types ExtPoint.argumentVariables = Argument Variables ExtPoint.directoryVariables = Directory Variables |