| Re: [platform-ui-dev] jdt.core.prefs for core.databinding holds still 1.7 |
OK, lets wait a bit with the merge to see if Stefan or Simon have feedback. AFAIK both are working on db...
The prefs would get fixed if we merge https://git.eclipse.org/r/#/c/60611/
Tom
On 17.11.15 14:39, Lars Vogel wrote:
> 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 <mailto: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 <mailto: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
>
>
>
> _______________________________________________
> 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
>
--
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