commit | 9f853c87916ea5ddcb10cdae9018077895eb959a | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Jul 31 08:43:40 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Jul 31 08:43:40 2010 +0000 |
tree | 2122b600ebf13c5d599db21dc43f82b812caa60b | |
parent | 6547392505d73ab4bdc6c953c0ddad47d6eb0b90 [diff] |
oops, this time PDE's warning was right, fixed.
diff --git a/plugins/org.eclipse.objectteams.otdt.debug.ui/build.properties b/plugins/org.eclipse.objectteams.otdt.debug.ui/build.properties index f5dec46..c953237 100644 --- a/plugins/org.eclipse.objectteams.otdt.debug.ui/build.properties +++ b/plugins/org.eclipse.objectteams.otdt.debug.ui/build.properties
@@ -6,4 +6,5 @@ icons/,\ plugin.properties,\ about.html +javacProjectSettings = true