Skip to content

Conversation

@hohwille
Copy link
Member

@hohwille hohwille commented Jul 6, 2023

completes #1084

@hohwille hohwille added enhancement New feature or request config should be configurable or configuration change labels Jul 6, 2023
@hohwille hohwille added this to the release:2023.07.001 milestone Jul 6, 2023
@github-actions github-actions bot added bash related to bash shell or scripts scripts related to shell scripts (bash and CMD) and removed config should be configurable or configuration change labels Jul 6, 2023
@hohwille hohwille linked an issue Jul 6, 2023 that may be closed by this pull request
4 tasks
@hohwille hohwille merged commit c97d701 into devonfw:master Jul 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bash related to bash shell or scripts enhancement New feature or request scripts related to shell scripts (bash and CMD)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Adapt scripts to use ide-urls

1 participant