eclipse-gemoc / eclipse-gemoc/gemoc-studio

Bump to eclipse 2023-12

Open
#313 1 comment 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
PostScript
Stars
27
Forks
22
PR merge metrics
No merged PRs in 30d

Description

## Motivation

As every year, a new version of Eclipse is available on December https://projects.eclipse.org/releases

We need to update the studio to benefit from its new features.

- [ ] update target platforms to Eclipse 2023-12
- [ ] update splash screen
- [ ] update tycho version
- [ ] update xtend/xtext version
- [ ] update impacted components to support current version of xtext/xtend (TODO / TO BE REFINED)

I also hope this will have effect on #307

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.