diff options
author | Dani Megert | 2003-12-01 11:26:09 +0000 |
---|---|---|
committer | Dani Megert | 2003-12-01 11:26:09 +0000 |
commit | d62b665b21078ebb325cff7fdd65cfc6a091e8f9 (patch) | |
tree | 2341ee2073258db1befd9a1fd725569e89696420 | |
parent | 3f8171c47c3f4eb1bfa03b156dbcdd904b74cadd (diff) | |
download | eclipse.platform.text-d62b665b21078ebb325cff7fdd65cfc6a091e8f9.tar.gz eclipse.platform.text-d62b665b21078ebb325cff7fdd65cfc6a091e8f9.tar.xz eclipse.platform.text-d62b665b21078ebb325cff7fdd65cfc6a091e8f9.zip |
Added optional import of plugin "org.eclipse.core.runtime.compatibility"
-rw-r--r-- | org.eclipse.search/.classpath | 10 | ||||
-rw-r--r-- | org.eclipse.search/plugin.xml | 1 |
2 files changed, 2 insertions, 9 deletions
diff --git a/org.eclipse.search/.classpath b/org.eclipse.search/.classpath index 0d5674b51f5..a9ba8cb51e5 100644 --- a/org.eclipse.search/.classpath +++ b/org.eclipse.search/.classpath @@ -1,15 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <classpath> <classpathentry kind="src" path="search"/> - <classpathentry kind="src" path="/org.eclipse.core.resources"/> - <classpathentry kind="src" path="/org.eclipse.core.filebuffers"/> - <classpathentry kind="src" path="/org.eclipse.ui"/> - <classpathentry kind="src" path="/org.eclipse.ui.ide"/> - <classpathentry kind="src" path="/org.eclipse.ui.workbench.texteditor"/> - <classpathentry kind="src" path="/org.eclipse.jface.text"/> - <classpathentry kind="src" path="/org.eclipse.ui.editors"/> - <classpathentry kind="src" path="/org.eclipse.core.boot"/> - <classpathentry kind="src" path="/org.eclipse.core.runtime"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/> + <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="output" path="bin"/> </classpath> diff --git a/org.eclipse.search/plugin.xml b/org.eclipse.search/plugin.xml index 1eb687b96e5..9095a2086d2 100644 --- a/org.eclipse.search/plugin.xml +++ b/org.eclipse.search/plugin.xml @@ -20,6 +20,7 @@ <import plugin="org.eclipse.ui.workbench.texteditor"/> <import plugin="org.eclipse.jface.text"/> <import plugin="org.eclipse.ui.editors"/> + <import plugin="org.eclipse.core.runtime.compatibility" optional="true"/> </requires> <runtime> |