Skip to content

build: remove source features deprecated in tycho 5#1186

Merged
rubenporras merged 1 commit into
dsldevkit:masterfrom
rubenporras:tycho_deprecation
Oct 14, 2025
Merged

build: remove source features deprecated in tycho 5#1186
rubenporras merged 1 commit into
dsldevkit:masterfrom
rubenporras:tycho_deprecation

Conversation

@rubenporras
Copy link
Copy Markdown
Member

No description provided.

@rubenporras
Copy link
Copy Markdown
Member Author

@rubenporras rubenporras enabled auto-merge October 14, 2025 14:45
@rubenporras rubenporras merged commit 9d19e28 into dsldevkit:master Oct 14, 2025
2 checks passed
@rubenporras rubenporras deleted the tycho_deprecation branch October 15, 2025 05:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants