Skip to content

ExtensionPoint to replace ${PROJECT_HOME} in selected directory #5331#5332

Merged
hansva merged 1 commit into
apache:mainfrom
nadment:5331
Jul 23, 2025
Merged

ExtensionPoint to replace ${PROJECT_HOME} in selected directory #5331#5332
hansva merged 1 commit into
apache:mainfrom
nadment:5331

Conversation

@nadment
Copy link
Copy Markdown
Contributor

@nadment nadment commented May 18, 2025

No description provided.

@nadment nadment added this to the 2.15 milestone May 18, 2025
@github-actions github-actions Bot removed the Hop Gui label May 18, 2025
@hansva hansva merged commit 489cdc6 into apache:main Jul 23, 2025
2 checks passed
@github-actions github-actions Bot removed this from the 2.15 milestone Jul 23, 2025
@nadment nadment deleted the 5331 branch February 1, 2026 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Feature Request]: Add ExtensionPoint to replace ${PROJECT_HOME} in selected directory

2 participants