Re: [platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.

[Lars Vogel <lars.vogel@xxxxxxxxxxx>]

Sounds like a bug in our settings. Please open a bug report and provide a fix or assign to me for the "fix"

Am 17.11.2015 2:37 nachm. schrieb "Tom Schindl" <tom.schindl@xxxxxxxxxxxxxxx>:

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
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev