[jdt-ui-dev] jdt.ui needs jdt.core >= v_623a (or HEAD, newer than last F

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[jdt-ui-dev] jdt.ui needs jdt.core >= v_623a (or HEAD, newer than last Friday evening)

From: Markus Keller <markus_keller@xxxxxxxxxx>
Date: Mon, 28 Nov 2005 18:39:55 +0100
Delivered-to: jdt-ui-dev@xxxxxxxxxxx
List-archive: <http://eclipse.org/pipermail/jdt-ui-dev>
List-help: <mailto:jdt-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=unsubscribe>

jdt.ui needs jdt.core >= v_623a (or HEAD, newer than last Friday evening)
... since a fix needs the new search API that offers local enclosing elements.

Sorry for the inconvenience,
Markus

Prev by Date: Re: [jdt-ui-dev] Commit rights for Benno Baumgartner
Next by Date: [jdt-ui-dev] JDT-UI commit rights for Benno Baumgartner
Previous by thread: [jdt-ui-dev] Commit rights for Benno Baumgartner
Next by thread: [jdt-ui-dev] JDT-UI commit rights for Benno Baumgartner
Index(es):
- Date
- Thread

Breadcrumbs