| commit | 600969320eb791e411a08832698aafe1b7fc115a | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 23 10:13:31 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 23 10:13:31 2010 +0000 |
| tree | d711fe7408132b94f6462ffa7e1f1b5e1d129712 | |
| parent | 8d36316d9b669ce7ebd46f3bb12d87a9f285e2ac [diff] [blame] |
configuration cleanup: - mainly include plugin.properties into binary build to properly show plugin name and provider in the UI
diff --git a/plugins/org.eclipse.objectteams.otdt.compiler.adaptor/build.properties b/plugins/org.eclipse.objectteams.otdt.compiler.adaptor/build.properties index e9863e2..0dc34f7 100644 --- a/plugins/org.eclipse.objectteams.otdt.compiler.adaptor/build.properties +++ b/plugins/org.eclipse.objectteams.otdt.compiler.adaptor/build.properties
@@ -2,4 +2,5 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ - plugin.xml + plugin.xml,\ + plugin.properties