Skip to content

devonfw/IDEasy#1696: update ide.properties#84

Merged
hohwille merged 1 commit intodevonfw:mainfrom
lubska:documentation/add-link-with-a-table-containing-variables
Feb 16, 2026
Merged

devonfw/IDEasy#1696: update ide.properties#84
hohwille merged 1 commit intodevonfw:mainfrom
lubska:documentation/add-link-with-a-table-containing-variables

Conversation

@lubska
Copy link
Contributor

@lubska lubska commented Feb 2, 2026

@lubska lubska requested a review from hohwille February 2, 2026 11:01
@lubska lubska self-assigned this Feb 2, 2026
@lubska lubska added the documentation Improvements or additions to documentation label Feb 2, 2026
@github-project-automation github-project-automation bot moved this to 🆕 New in IDEasy board Feb 2, 2026
@lubska lubska moved this from 🆕 New to 🏗 In progress in IDEasy board Feb 2, 2026
@lubska lubska moved this from 🏗 In progress to 👀 In review in IDEasy board Feb 2, 2026
@hohwille hohwille self-assigned this Feb 3, 2026
Copy link
Member

@hohwille hohwille left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@lubska thanks for your PR and fixing the broken documentation link 👍
Since https://github.com/devonfw/IDEasy/blob/main/documentation/variables.adoc directly links to https://github.com/devonfw/IDEasy/blob/main/documentation/configuration.adoc it is fine that you just link to variables documentation.

FYI: There is a very similar bug here:

# https://github.com/devonfw/ide/blob/master/documentation/configuration.asciidoc#configuration

However, lets keep it easy: I merge this PR and quickly fix the other link in the same way.

@lubska
Copy link
Contributor Author

lubska commented Feb 4, 2026

Thank you very much @hohwille! It would be great.

@hohwille hohwille merged commit 258c116 into devonfw:main Feb 16, 2026
2 checks passed
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in IDEasy board Feb 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

2 participants