Skip to content

Conversation

aentinger
Copy link
Contributor

@aentinger aentinger commented Jul 18, 2022

Tested and works for Linux_64 and Windows_64 ✔️

@aentinger aentinger added topic: documentation Related to documentation for the project type: enhancement Proposed improvement labels Jul 18, 2022
@aentinger aentinger self-assigned this Jul 18, 2022
@aentinger aentinger changed the title Provide links to Java IDE with multi-threading support. Provide links to patched Java IDE with multi-threading support. Jul 18, 2022
@aentinger aentinger marked this pull request as ready for review July 18, 2022 12:22
@aentinger aentinger merged commit c1b15fc into main Jul 18, 2022
@aentinger aentinger deleted the aentinger-patched-java-ide branch July 18, 2022 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant