diff options
Diffstat (limited to 'java/eclipse/files/patch-plugins-plat-u-customBuildCallbacks.xml')
| -rw-r--r-- | java/eclipse/files/patch-plugins-plat-u-customBuildCallbacks.xml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/java/eclipse/files/patch-plugins-plat-u-customBuildCallbacks.xml b/java/eclipse/files/patch-plugins-plat-u-customBuildCallbacks.xml deleted file mode 100644 index ea350ab185e6..000000000000 --- a/java/eclipse/files/patch-plugins-plat-u-customBuildCallbacks.xml +++ /dev/null @@ -1,11 +0,0 @@ ---- plugins/org.eclipse.platform.doc.user/customBuildCallbacks.xml.orig Sun Jul 30 00:26:51 2006 -+++ plugins/org.eclipse.platform.doc.user/customBuildCallbacks.xml Sun Jul 30 00:28:00 2006 -@@ -82,6 +82,8 @@ - <!-- ===================================================================== --> - <target name="post.gather.bin.parts"> - </target> -+ <target name="pre.gather.bin.parts"> -+ </target> - - <target name="build.index" description="Builds search index for the plug-in: org.eclipse.platform.doc.user." if="eclipse.running"> - <help.buildHelpIndex manifest="plugin.xml" destination="."/> |