[platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.7

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

[platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.7

From: Tom Schindl <tom.schindl@xxxxxxxxxxxxxxx>
Date: Tue, 17 Nov 2015 14:36:52 +0100
Delivered-to: platform-ui-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/platform-ui-dev>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.3.0

Hi,

The org.eclipse.jdt.core.prefs file still says 1.7 although the EE is
1.8. I guess this is a "bug"?

Tom

-- 
Thomas Schindl, CTO
BestSolution.at EDV Systemhaus GmbH
Eduard-Bodem-Gasse 5-7, A-6020 Innsbruck
http://www.bestsolution.at/
Reg. Nr. FN 222302s am Firmenbuchgericht Innsbruck

Follow-Ups:
- Re: [platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.7
  - From: Lars Vogel

Prev by Date: Re: [platform-ui-dev] Eclipse Databinding Generification
Next by Date: Re: [platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.7
Previous by thread: [platform-ui-dev] Eclipse Databinding Generification
Next by thread: Re: [platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.7
Index(es):
- Date
- Thread

Breadcrumbs