1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-17 13:15:44 +02:00

removed dependency on jdt docs. Our help just doesn't fully work without it but we should not depend on another independent plugin

This commit is contained in:
Judy N. Green 2002-11-04 18:32:15 +00:00
parent 632e0ccde1
commit e81efef056

View file

@ -23,7 +23,6 @@
<requires> <requires>
<import plugin="org.eclipse.platform" version="2.0.0" match="compatible"/> <import plugin="org.eclipse.platform" version="2.0.0" match="compatible"/>
<import plugin="org.eclipse.jdt.doc.user"/>
</requires> </requires>
<plugin <plugin