commit | 9850213e4b684bf06f7096879068db5e36e51b42 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 14:34:38 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 14:34:38 2010 +0000 |
tree | 8e1101c15d1562846b5412a5f2b9fe5a9daf46de | |
parent | 787ee708e1af7b257179906b6ff8106ffdc55f5b [diff] [blame] |
Prepare for building on build.eclipse.org: * Change all version numbers to 0.7.0 * Update / cleanup names (bundle & provider) * Fix some configuration warnings (build.properties) * Remove Java-Builder from ot.runtime (not needed)
diff --git a/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties b/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties index 0d3d3a7..c88359b 100644 --- a/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties +++ b/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties
@@ -3,4 +3,5 @@ bin.includes = plugin.xml,\ META-INF/,\ .,\ - icons/ + icons/,\ + plugin.properties