diff options
author | Andre Weinand | 2004-07-27 11:27:13 +0000 |
---|---|---|
committer | Andre Weinand | 2004-07-27 11:27:13 +0000 |
commit | 82047a0a233b39a86a7138b10ffc2eeceb6c51fe (patch) | |
tree | 86f81ade8214da307830b444a4207b3105280683 /examples/org.eclipse.compare.examples/plugin.xml | |
parent | bf7a5bf2ef53db49a85aaefd68b72ffd2205ce4c (diff) | |
download | eclipse.platform.team-82047a0a233b39a86a7138b10ffc2eeceb6c51fe.tar.gz eclipse.platform.team-82047a0a233b39a86a7138b10ffc2eeceb6c51fe.tar.xz eclipse.platform.team-82047a0a233b39a86a7138b10ffc2eeceb6c51fe.zip |
bumped version numberv20040727
Diffstat (limited to 'examples/org.eclipse.compare.examples/plugin.xml')
-rw-r--r-- | examples/org.eclipse.compare.examples/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/org.eclipse.compare.examples/plugin.xml b/examples/org.eclipse.compare.examples/plugin.xml index 9157dcc98..c46095143 100644 --- a/examples/org.eclipse.compare.examples/plugin.xml +++ b/examples/org.eclipse.compare.examples/plugin.xml @@ -4,7 +4,7 @@ <plugin id="org.eclipse.compare.examples" name="%pluginName" - version="3.0.0" + version="3.1.0" provider-name="%providerName"> <runtime> |